Titre :	Homotopy type theory : Univalent foundations of mathematics
Type de document :	texte imprimé
Editeur :	Lulu Press
Année de publication :	2013
Importance :	ix - 468 p.
Langues :	Anglais
Catégories :	03-XX Mathematical logic and foundations:03-02 Research exposition (monographs, survey articles) 55-XX Algebraic topology:55-02 Research exposition (monographs, survey articles)
Mots-clés :	mathematical logic
Index. décimale :	03B Publication collective

Homotopy type theory : Univalent foundations of mathematics [texte imprimé] . - [S.l.] : Lulu Press, 2013 . - ix - 468 p.
Langues : Anglais

Catégories :	03-XX Mathematical logic and foundations:03-02 Research exposition (monographs, survey articles) 55-XX Algebraic topology:55-02 Research exposition (monographs, survey articles)
Mots-clés :	mathematical logic
Index. décimale :	03B Publication collective