@misc{indiciae9816cd15c003,
  title = {Revisiting Parametricity: Inductives and Uniformity of Propositions},
  author = {Abhishek Anand and Greg Morrisett},
  year = {2017},
  url = {https://arxiv.org/abs/1705.01163},
  note = {Source identifier: 1705.01163}
}