TY  - RPRT
TI  - Consistency of the Predicative Calculus of Cumulative Inductive Constructions (pCuIC)
AU  - Amin Timany
AU  - Matthieu Sozeau
PY  - 2020
UR  - https://arxiv.org/abs/1710.03912
ID  - 1710.03912
ER  -