TY  - RPRT
TI  - A C-system defined by a universe category
AU  - Vladimir Voevodsky
PY  - 2015
UR  - https://arxiv.org/abs/1409.7925
ID  - 1409.7925
ER  -