Nantilus
Homotopy type theory : Univalent Foundations of Mathematics
Enregistré dans:
| Auteur principal : | |
|---|---|
| Collectivité auteur : | |
| Format : | Livre |
| Langue : | anglais |
| Titre complet : | Homotopy type theory : Univalent Foundations of Mathematics / The Univalent Foundations Program, Institute for Advanced Study |
| Publié : |
[Princeton (N.J.)] :
The Univalent Foundations Program, Institute for Advanced Study
, C 2013 |
| Description matérielle : | 1 vol. (xiii ; 583 p.) |
| Accès en ligne : |
Le livre est disponible gratuitement à l'adresse
|
| Sujets : |
| Notes : | Le livre est disponible gratuitement à l'adresse |
|---|---|
| Bibliographie : | Bibliogr. p. [545]-555. Index |