@misc{indiciae04385c99bb1b,
  title = {Case Studies in Formal Reasoning About Lambda-Calculus: Semantics, Church-Rosser, Standardization and HOAS},
  author = {Lorenzo Gheri and Andrei Popescu},
  year = {2021},
  url = {https://arxiv.org/abs/2107.11674},
  note = {Source identifier: 2107.11674}
}