TY  - RPRT
TI  - Homotopy Type Theory: Univalent Foundations of Mathematics
AU  - The Univalent Foundations Program
PY  - 2013
UR  - https://arxiv.org/abs/1308.0729
ID  - 1308.0729
ER  -