@misc{indiciae9ed685b60948,
  title = {A simple formalization of alpha-equivalence},
  author = {Kalmer Apinis and Danel Ahman},
  year = {2026},
  url = {https://arxiv.org/abs/2507.10181},
  note = {Source identifier: 2507.10181}
}