TY  - GEN

T1  - Case Studies in Formal Reasoning º¬Ð߲ݴ«Ã½ Lambda-Calculus: Semantics,  Church-Rosser, Standardization and HOAS

T2  - arXiv

PY  - 2021/07/24

AU  - Gheri L

AU  - Popescu A

ED  - 

DO  - DOI: 10.48550/arxiv.2107.11674

Y2  - 2024/09/19

ER  -