TY  - RPRT
TI  - A univalent universe in finite order arithmetic
AU  - Colin McLarty
PY  - 2015
UR  - https://arxiv.org/abs/1412.6714
ID  - 1412.6714
ER  -