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

Simple item page
dc.creatorDavid, René
dc.creatorNour, Karim
dc.date2009-05-06
dc.date.accessioned2026-07-07T13:12:13Z
dc.date.available2026-07-07T13:12:13Z
dc.descriptionIn 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$.
dc.identifierhttps://arxiv.org/abs/0905.0769
dc.identifierhttp://arxiv.org/abs/0905.0769
dc.identifierJournal of Theoretical Computer Science (TCS) 180 (1997) 371-375
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/229517
dc.subjectLogic
dc.titleA syntactical proof of the operational equivalence of two $λ$-terms
dc.typetext

Files

Collections

arXiv