TY  - RPRT
TI  - Case Studies in Formal Reasoning About Lambda-Calculus: Semantics, Church-Rosser, Standardization and HOAS
AU  - Lorenzo Gheri
AU  - Andrei Popescu
PY  - 2021
UR  - https://arxiv.org/abs/2107.11674
ID  - 2107.11674
ER  -