@misc{indiciae77c17c36feae,
  title = {The Refined Calculus of Inductive Construction: Parametricity and Abstraction},
  author = {Chantal Keller and Marc Lasson},
  year = {2012},
  url = {https://arxiv.org/abs/1211.6341},
  note = {Source identifier: 1211.6341}
}