TY  - RPRT
TI  - C-systems defined by universe categories: presheaves
AU  - Vladimir Voevodsky
PY  - 2017
UR  - https://arxiv.org/abs/1706.03620
ID  - 1706.03620
ER  -