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

David, René; Nour, Karim

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

Authors

Description

In 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$.

Keywords

Logic

URI

http://salesiana.dossiersoluciones.com/handle/123456789/229517

Consulte el texto completo en el siguiente enlace:

https://arxiv.org/abs/0905.0769
http://arxiv.org/abs/0905.0769
Journal of Theoretical Computer Science (TCS) 180 (1997) 371-375

Collections

arXiv

Full item page

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

Date

Authors

Journal Title

Journal ISSN

Volume Title

Publisher

Abstract

Description

Keywords

Citation

URI

Consulte el texto completo en el siguiente enlace:

Collections