Main image
Click to view image in fullscreen
![]()
Code of Mathematics
Inspired by recent developments in dependent type theory and infinity categories, this book presents a history of ideas around the topics of truth, proof, equality and equivalence. The main focus of this textbook is on dependent type theory and its recent variant homotopy type theory.
585,00 DH
Sur commande
Inspired by recent developments in dependent type theory and infinity categories, this book presents a history of ideas around the topics of truth, proof, equality and equivalence. The main focus of this textbook is on dependent type theory and its recent variant homotopy type theory.
| ISBN / EAN | 9783662694824 |
|---|---|
| Auteur | Muller-Stach, Stefan |
| Editeur | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG |