Faites connaître cet article à vos amis:
Extensional Constructs in Intensional Type Theory - Distinguished Dissertations Martin Hofmann Softcover reprint of the original 1st ed. 1997 edition
Extensional Constructs in Intensional Type Theory - Distinguished Dissertations
Martin Hofmann
Extensional Constructs in Intensional Type Theory presents a novel approach to the treatment of equality in Martin-Loef type theory (a basis for important work in mechanised mathematics and program verification).
216 pages, biography
| Médias | Livres Paperback Book (Livre avec couverture souple et dos collé) |
| Validé | 22 septembre 2011 |
| ISBN13 | 9781447112433 |
| Éditeurs | Springer London Ltd |
| Pages | 216 |
| Dimensions | 155 × 235 × 12 mm · 331 g |
| Langue et grammaire | Anglais |
Plus par Martin Hofmann
Afficher toutVoir tous les Martin Hofmann ( par ex. Paperback Book , CD , Hardcover Book et Book )
Les cadeaux de Noël peuvent être échangés jusqu'au 31 janvier