@misc{indiciae94956c29b769,
  title = {Internal Parametricity for Cubical Type Theory},
  author = {Evan Cavallo and Robert Harper},
  year = {2021},
  doi = {10.46298/lmcs-17(4:5)2021},
  url = {https://arxiv.org/abs/2005.11290},
  note = {Source identifier: 2005.11290}
}