@misc{indiciaef837786aae40,
  title = {Consistency of the Predicative Calculus of Cumulative Inductive Constructions (pCuIC)},
  author = {Amin Timany and Matthieu Sozeau},
  year = {2020},
  url = {https://arxiv.org/abs/1710.03912},
  note = {Source identifier: 1710.03912}
}