You are viewing a javascript disabled version of the site. Please enable Javascript for this site to function properly.
Go to headerGo to navigationGo to searchGo to contentsGo to footer
In content section. Select this link to jump to navigation

A Problem on Easy Terms in λ-Calculus

Article type: Research Article

Authors: Intrigila, Benedetto

Affiliations: V.le Parioli 41, 00197 Rome, Italy

Abstract: We say that a closed term M is easy in the λβη-calculus if for every term N the theory λβη+{M=N} is consistent. The main result of the paper is to show that, for a certain term P, the term P(ωω) is easy, while Pω is not. It follows that the easiness of a given M does not imply either easiness or non-easiness of PM, contradicting an earlier conjecture.

DOI: 10.3233/FI-1991-15109

Journal: Fundamenta Informaticae, vol. 15, no. 1, pp. 99-106, 1991

Published: 1 June 1991
Price: EUR 27.50
Show more