„zhaohui luo"
-
Modern Perspectives in Type-Theoretical Semantics
Band 98
Modern Perspectives in Type-Theoretical SemanticsBuch (Gebundene Ausgabe) + weitere
108,99 €
-
Types for Proofs and Programs
Band 2277
Types for Proofs and ProgramseBook (PDF) + weitere
54,99 €
-
Formal Semantics in Modern Type Theories
Stergios Chatzikyriakidis + weitere
Formal Semantics in Modern Type TheoriesSchulbuch (Gebundene Ausgabe)
194,99 €
-
Computation and Reasoning - A Type Theory for Computer Science
Zhaohui Luo
Computation and Reasoning - A Type Theory for Computer ScienceBuch (Gebundene Ausgabe)
145,99 €