TY  - RPRT
TI  - Homotopy type theory and Voevodsky's univalent foundations
AU  - Álvaro Pelayo
AU  - Michael A. Warren
PY  - 2012
UR  - https://arxiv.org/abs/1210.5658
ID  - 1210.5658
ER  -