@misc{indiciae4257e56c176f,
  title = {The Difference Lambda-Calculus: A Language for Difference Categories},
  author = {Mario Alvarez-Picallo and C. -H. Luke Ong},
  year = {2020},
  url = {https://arxiv.org/abs/2011.14476},
  note = {Source identifier: 2011.14476}
}