@misc{indiciae01e8d8d2f198,
  title = {The Marriage of Univalence and Parametricity},
  author = {Nicolas Tabareau and Éric Tanter and Matthieu Sozeau},
  year = {2020},
  url = {https://arxiv.org/abs/1909.05027},
  note = {Source identifier: 1909.05027}
}