Fixed points in lambda calculus. an eccentric survey of problems and solutions
From MaRDI portal
Publication:1688969
DOI10.1016/j.indag.2017.06.003zbMath1437.03052MaRDI 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
03B40: Combinatory logic and lambda calculus
Uses Software
Cites Work
- The lambda calculus. Its syntax and semantics. Rev. ed.
- Some examples of non-existent combinators
- Bemerkungen zum Komprehensionsaxiom. Dem Andenken an Heinrich Scholz gewidmet
- A Universal Approach to Self-Referential Paradoxes, Incompleteness and Fixed Points
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item