TY  - RPRT
TI  - Subsystems and regular quotients of C-systems
AU  - Vladimir Voevodsky
PY  - 2016
UR  - https://arxiv.org/abs/1406.7413
ID  - 1406.7413
ER  -