15 résultats
Tri :

Constructive Type Theory and Functional Programming

49.05 EUR (+3.5 EUR)

Provenance : FR
Livraison : Worldwide
Clôture : 22j. 6h 21min

John L. Bell Higher-Order Logic and Type Theory (Poche)

23.63 EUR (+0.0 EUR)

Provenance : GB
Livraison : Worldwide
Clôture : 9j. 2h 16min

Constructive Type Theory and Functional Programming

58.73 EUR (+3.5 EUR)

Provenance : FR
Livraison : Worldwide
Clôture : 15j. 5h 51min

A Transfinite Type Theory With Type Variables

54.99 EUR (+3.5 EUR)

Provenance : FR
Livraison : Worldwide
Clôture : 29j. 5h 21min

3092019 - Basic simple type theory - J. Roger Hindley

43.99 EUR (+0.0 EUR)

Provenance : FR
Livraison : Worldwide
Clôture : 4j. 9h 57min

Semantics of Type Theory: Correctness, Completeness, and Independence Results

140.22 EUR (+3.5 EUR)

Provenance : FR
Livraison : Worldwide
Clôture : 22j. 6h 51min

A Modern Perspective On Type Theory: From Its Origins Until Today

128.0 EUR (+3.5 EUR)

Provenance : FR
Livraison : Worldwide
Clôture : 24j. 6h 21min

Computation and Reasoning: A Type Theory for Computer Science

55.09 EUR (+3.5 EUR)

Provenance : FR
Livraison : Worldwide
Clôture : 23j. 6h 21min

Computation and Reasoning: A Type Theory for Computer Science

75.22 EUR (+3.5 EUR)

Provenance : FR
Livraison : Worldwide
Clôture : 22j. 5h 51min

Christoph Benzmueller Reasoning in Simple Type Theory (Poche)

34.43 EUR (+0.0 EUR)

Provenance : GB
Livraison : Worldwide
Clôture : 10j. 11h 12min

Programming in Martin-Lof's Type Theory: An Introduction

149.99 EUR (+3.5 EUR)

Provenance : FR
Livraison : Worldwide
Clôture : 0j. 6h 52min

Rob Nederpelt Herman Geuvers Type Theory and Formal Proof (Relié)

130.41 EUR (+0.0 EUR)

Provenance : US
Livraison : Worldwide
Clôture : 7j. 9h 33min

Rob Nederpelt Herman Geuvers Type Theory and Formal Proof (Relié)

108.77 EUR (+0.0 EUR)

Provenance : GB
Livraison : Worldwide
Clôture : 28j. 9h 55min

Modal Homotopy Type Theory: The Prospect of a New Log... | Livre | état très bon

91.61 EUR (+0.0 EUR)

Provenance : DE
Livraison : Worldwide
Clôture : 14j. 12h 19min

Farmer, William M. Simple Type Theory : A Practical Logic For Expressi Book NEUF

62.19 EUR

Provenance : GB
Livraison : Worldwide
Clôture : 1j. 0h 7min
< 1 >