@misc{indiciaea31f47a1180c,
  title = {Program Equivalence in an Untyped, Call-by-value Lambda Calculus with Uncurried Recursive Functions},
  author = {Dániel Horpácsi and Péter Bereczky and Simon Thompson},
  year = {2022},
  url = {https://arxiv.org/abs/2208.14260},
  note = {Source identifier: 2208.14260}
}