A syntactical proof of the operational equivalence of two $\lambda$-terms
David, René ; Nour, Karim
HAL, hal-00381603 / Harvested from HAL
Text on HAL
In this paper we present a purely syntactical proof of the operational equivalence of $I=\lambda xx$ and the $\lambda$-term $J$ that is the $\eta$-infinite expansion of $I$.
Publié le : 1997-07-05
Classification:  [MATH.MATH-LO]Mathematics [math]/Logic [math.LO] 
@article{hal-00381603,
     author = {David, Ren\'e and Nour, Karim},
     title = {A syntactical proof of the operational equivalence of two $\lambda$-terms},
     journal = {HAL},
     volume = {1997},
     number = {0},
     year = {1997},
     language = {en},
     url = {http://dml.mathdoc.fr/item/hal-00381603}
}

David, René; Nour, Karim. A syntactical proof of the operational equivalence of two $\lambda$-terms. HAL, Tome 1997 (1997) no. 0, . http://gdmltest.u-ga.fr/item/hal-00381603/