TY  - RPRT
TI  - Voevodsky's Univalence Axiom in homotopy type theory
AU  - Steve Awodey
AU  - Álvaro Pelayo
AU  - Michael A. Warren
PY  - 2013
UR  - https://arxiv.org/abs/1302.4731
ID  - 1302.4731
ER  -