Limit this search to....

  (5 items found)
Title Author / Artist Prod Type ISBN/ISBN-13
or UPC		 Pub
Date		 Price
Computation and Reasoning - A Type Theory for Computer ScienceZhaohui LuoHardcover0198538359 /
9780198538356		05/1994$99.75
Formal Semantics in Modern Type TheoriesChatzikyriakidis, StergiosHardcover1786301288 /
9781786301284		02/2021$169.05
Modern Perspectives in Type-Theoretical Semantics 2017 Edition (Studies in Linguistics and Philosophy)Chatzikyriakidis, StergiosHardcover3319504207 /
9783319504209		02/2017$113.99
Modern Perspectives in Type-Theoretical Semantics Softcover Repri Edition (Studies in Linguistics and Philosophy)Chatzikyriakidis, StergiosPaperback3319843974 /
9783319843971		07/2018$113.99
Types for Proofs and Programs: International Workshop, Types 2000, Durham, Uk, December 8-12, 2000. Selected Papers 2002 Edition (Lecture Notes in Computer Science)Callaghan, PaulPaperback3540432876 /
9783540432876		02/2002$52.24
  (5 items found)