1.
Computation and Reasoning A Type Theory for Computer Science
by Luo, Zhaohui
ISBN: 9780198538356
List Price: $65.00
2.
Modern Perspectives in Type-Theoretical Semantics
by Chatzikyriakidis, Stergios,...
ISBN: 9783319504209
List Price: $139.00
OUT OF STOCK
See Availability on Amazon3.
Types for Proofs and Programs
by Callaghan, Paul, Luo, Zhaoh...
ISBN: 9783662194775
List Price: $24.99
OUT OF STOCK
See Availability on Amazon4.
Formal Semantics in Modern Type Theories
by Chatzikyriakidis, Stergios,...
ISBN: 9781119489252
List Price: $130.00
OUT OF STOCK
See Availability on Amazon5.
Modern Perspectives in Type-Theoretical Semantics (Studies in Linguistics and Philosophy)
by Chatzikyriakidis, Stergios,...
ISBN: 9783319843971
List Price: $139.99
OUT OF STOCK
See Availability on Amazon6.
Formal Semantics in Modern Type Theories
by Chatzikyriakidis, Stergios,...
ISBN: 9781786301284
List Price: $130.00