History
1
an:00645136
1


Please fill in your query. A complete syntax description you will find on the General Help page.
Eta-conversion for the languages of explicit substitutions. (English)
Appl. Algebra Eng. Commun. Comput. 5, No.6, 317-341 (1994).
This paper shows that the $λσ$-calculus (i.e. the $λ$- calculus with explicit substitutions) remains both confluent and ground confluent when a rule corresponding to the $η$-reduction rule is added.
Reviewer: R.David (Chambéry)
WorldCat.org
PDF XML AMS-TeX TEXT BIBTeX DOI
Valid XHTML 1.0 Transitional Valid CSS!