TY  - BOOK
ED  - Institute for Advanced Study 
TI  - Homotopy type theory: Univalent foundations of mathematics 
PY  - 2013///
CY  - [Princeton, N.J.]
PB  - Univalent Foundations Program, 
KW  - Mathematics
ER  -