Some results on extensionality in lambda calculus
From MaRDI portal
Publication:1765154
DOI10.1016/j.apal.2003.05.001zbMath1065.03014OpenAlexW2026682644MaRDI QIDQ1765154
Benedetto Intrigila, Richard Statman
Publication date: 23 February 2005
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.apal.2003.05.001
Related Items
Lambda theories allowing terms with a finite number of fixed points, Remarks on applicative theories
Cites Work