TY  - RPRT
TI  - The equivalence axiom and univalent models of type theory. (Talk at CMU on February 4, 2010)
AU  - Vladimir Voevodsky
PY  - 2014
UR  - https://arxiv.org/abs/1402.5556
ID  - 1402.5556
ER  -