# A syntactical proof of the operational equivalence of two $λ$-terms - Mathematics > Logic

A syntactical proof of the operational equivalence of two $λ$-terms - Mathematics > Logic - Descarga este documento en PDF. Documentación en PDF para descargar gratis. Disponible también para leer online.

Abstract: In this paper we present a purely syntactical proof of the operationalequivalence of $I=\lambda xx$ and the $\lambda$-term $J$ that is the$\eta$-infinite expansion of $I$.

Autor: René David LAMA, Karim Nour LAMA

Fuente: https://arxiv.org/