@misc{indiciaeaedadadb45dd,
  title = {Efficient Mendler-Style Lambda-Encodings in Cedille},
  author = {Denis Firsov and Richard Blair and Aaron Stump},
  year = {2018},
  url = {https://arxiv.org/abs/1803.02473},
  note = {Source identifier: 1803.02473}
}