Some results on extensionality in lambda calculus

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

zbMATH Keywords

extensionalityomega-rulerecursive enumerabilitylambda-theoryPlotkin's counterexample

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Related Items

Lambda theories allowing terms with a finite number of fixed points, Remarks on applicative theories

Cites Work

• Unnamed Item
• The lambda calculus. Its syntax and semantics. Rev. ed.
• Implication and analysis in classical Frege structures
• Rewrite, rewrite, rewrite, rewrite, rewrite, \dots
• Constructive proofs of the range property in lambda calculus