@misc{indiciaeaef3ce9fe73a,
  title = {Gradualizing the Calculus of Inductive Constructions},
  author = {Meven Lennon-Bertrand and Kenji Maillard and Nicolas Tabareau and Éric Tanter},
  year = {2021},
  doi = {10.1145/3495528},
  url = {https://arxiv.org/abs/2011.10618},
  note = {Source identifier: 2011.10618}
}