@misc{indiciae29a46a13faba,
  title = {Syntax and Semantics of Cedille},
  author = {Aaron Stump and Christopher Jenkins},
  year = {2021},
  url = {https://arxiv.org/abs/1806.04709},
  note = {Source identifier: 1806.04709}
}