Introduction to Homotopy Type Theory
An introduction to type theory and the univalence axiom, aimed at advanced undergraduate and graduate students of mathematics and computer science with an interest in the foundations and formalization of mathematics. Prerequisites are minimal and over 200 exercises provide ample practice material.
Specificaties
| ISBN/EAN | 9781108844161 |
| Auteur | Egbert (The Johns Hopkins University Rijke |
| Uitgever | Van Ditmar Boekenimport B.V. |
| Taal | Engels |
| Uitvoering | Gebonden in harde band |
| Pagina's | 383 |
| Lengte | |
| Breedte |