CartSellback ListOrder LookupSupport
ValoreBooks logo
Cancel
Showing 1 - 6 of 6 Results
1.
Computation and Reasoning A Type Theory for Computer Science
Computation and Reasoning A Type Theory for Computer Science by Luo, Zhaohui ISBN: 9780198538356 List Price: $65.00
$102.72
2.
Modern Perspectives in Type-Theoretical Semantics
Modern Perspectives in Type-Theoretical Semantics by Chatzikyriakidis, Stergios,... ISBN: 9783319504209 List Price: $139.00

OUT OF STOCK

See Availability on Amazon
3.
Types for Proofs and Programs
Types for Proofs and Programs by Callaghan, Paul, Luo, Zhaoh... ISBN: 9783662194775 List Price: $24.99

OUT OF STOCK

See Availability on Amazon
4.
Formal Semantics in Modern Type Theories
Formal Semantics in Modern Type Theories by Chatzikyriakidis, Stergios,... ISBN: 9781119489252 List Price: $130.00

OUT OF STOCK

See Availability on Amazon
5.
Modern Perspectives in Type-Theoretical Semantics (Studies in Linguistics and Philosophy)
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 Amazon
6.
Formal Semantics in Modern Type Theories
Formal Semantics in Modern Type Theories by Chatzikyriakidis, Stergios,... ISBN: 9781786301284 List Price: $130.00

OUT OF STOCK

See Availability on Amazon