A syntactical proof of the operational equivalence of two $λ$-terms

2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/229517In this paper we present a purely syntactical proof of the operational equivalence of $I=λxx$ and the $λ$-term $J$ that is the $η$-infinite expansion of $I$.LogicA syntactical proof of the operational equivalence of two $λ$-termstext