TY  - RPRT
TI  - Complete Bidirectional Typing for the Calculus of Inductive Constructions
AU  - Meven Lennon-Bertrand
PY  - 2021
UR  - https://arxiv.org/abs/2102.06513
ID  - 2102.06513
ER  -