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 |