TY  - RPRT
TI  - C-system of a module over a monad on sets
AU  - Vladimir Voevodsky
PY  - 2014
UR  - https://arxiv.org/abs/1407.3394
ID  - 1407.3394
ER  -