Constructive Type Theory and Functional Programming 49.05 EUR (+3.5 EUR)
|
|||||||
John L. Bell Higher-Order Logic and Type Theory (Poche) 23.63 EUR (+0.0 EUR)
|
|||||||
Constructive Type Theory and Functional Programming 58.73 EUR (+3.5 EUR)
|
|||||||
A Transfinite Type Theory With Type Variables 54.99 EUR (+3.5 EUR)
|
|||||||
3092019 - Basic simple type theory - J. Roger Hindley 43.99 EUR (+0.0 EUR)
|
|||||||
Semantics of Type Theory: Correctness, Completeness, and Independence Results 140.22 EUR (+3.5 EUR)
|
|||||||
A Modern Perspective On Type Theory: From Its Origins Until Today 128.0 EUR (+3.5 EUR)
|
|||||||
Computation and Reasoning: A Type Theory for Computer Science 55.09 EUR (+3.5 EUR)
|
|||||||
Computation and Reasoning: A Type Theory for Computer Science 75.22 EUR (+3.5 EUR)
|
|||||||
Christoph Benzmueller Reasoning in Simple Type Theory (Poche) 34.43 EUR (+0.0 EUR)
|
|||||||
Programming in Martin-Lof's Type Theory: An Introduction 149.99 EUR (+3.5 EUR)
|
|||||||
Rob Nederpelt Herman Geuvers Type Theory and Formal Proof (Relié) 130.41 EUR (+0.0 EUR)
|
|||||||
Rob Nederpelt Herman Geuvers Type Theory and Formal Proof (Relié) 108.77 EUR (+0.0 EUR)
|
|||||||
Modal Homotopy Type Theory: The Prospect of a New Log... | Livre | état très bon 91.61 EUR (+0.0 EUR)
|
|||||||
Farmer, William M. Simple Type Theory : A Practical Logic For Expressi Book NEUF 62.19 EUR
|