TY  - RPRT
TI  - C-system of a module over a $Jf$-relative monad
AU  - Vladimir Voevodsky
PY  - 2016
UR  - https://arxiv.org/abs/1602.00352
ID  - 1602.00352
ER  -