Formal Semantics in Modern Type Theories
Formal Semantics in Modern Type Theories
Zhaohui Luo
,
Stergios Chatzikyriakidis
Details
OL Work ID
OL25200682W
Find this book
Open Library