@misc{indiciaea2aa25a0c4d4,
  title = {Investigations on a Pedagogical Calculus of Constructions},
  author = {Loïc Colson and Vincent Demange},
  year = {2012},
  doi = {10.3217/jucs-019-06-0729},
  url = {https://arxiv.org/abs/1203.3568},
  note = {Source identifier: 1203.3568}
}