Fixed points in lambda calculus. an eccentric survey of problems and solutions

DOI10.1016/j.indag.2017.06.003zbMath1437.03052OpenAlexW2689403066MaRDI QIDQ1688969

Benedetto Intrigila, Richard Statman

Publication date: 12 January 2018

Published in: Indagationes Mathematicae. New Series (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.indag.2017.06.003

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Uses Software

• MathOverflow

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The lambda calculus. Its syntax and semantics. Rev. ed.
• Some examples of non-existent combinators
• Axiomatizing the Quote
• Bemerkungen zum Komprehensionsaxiom. Dem Andenken an Heinrich Scholz gewidmet
• A Universal Approach to Self-Referential Paradoxes, Incompleteness and Fixed Points

This page was built for publication: Fixed points in lambda calculus. an eccentric survey of problems and solutions