@misc{indiciaeb264a1c1f65e,
  title = {The algebraic \$λ\$-calculus is a conservative extension of the ordinary \$λ\$-calculus},
  author = {Axel Kerinec and Lionel Vaux Auclair},
  year = {2023},
  url = {https://arxiv.org/abs/2305.01067},
  note = {Source identifier: 2305.01067}
}