TY  - RPRT
TI  - Gradualizing the Calculus of Inductive Constructions
AU  - Meven Lennon-Bertrand
AU  - Kenji Maillard
AU  - Nicolas Tabareau
AU  - Éric Tanter
PY  - 2021
DO  - 10.1145/3495528
UR  - https://arxiv.org/abs/2011.10618
ID  - 2011.10618
ER  -