René David, Karim Nour. A Syntactical Proof of the Operational Equivalence of Two Lambda-Terms. Theoretical Computer Science, 180(1-2):371-375, 1997. [doi]
@article{DavidN97, title = {A Syntactical Proof of the Operational Equivalence of Two Lambda-Terms}, author = {René David and Karim Nour}, year = {1997}, doi = {10.1016/S0304-3975(97)00004-2}, url = {http://dx.doi.org/10.1016/S0304-3975(97)00004-2}, researchr = {https://researchr.org/publication/DavidN97}, cites = {0}, citedby = {0}, journal = {Theoretical Computer Science}, volume = {180}, number = {1-2}, pages = {371-375}, }