@misc{indiciae282c10a4bda8,
  title = {Relational Type Theory (All Proofs)},
  author = {Aaron Stump and Benjamin Delaware and Christopher Jenkins},
  year = {2021},
  url = {https://arxiv.org/abs/2101.09655},
  note = {Source identifier: 2101.09655}
}