TY  - RPRT
TI  - An introduction to univalent foundations for mathematicians
AU  - Daniel R. Grayson
PY  - 2018
DO  - 10.1090/bull/1616
UR  - https://arxiv.org/abs/1711.01477
ID  - 1711.01477
ER  -