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

DOI10.1016/J.INDAG.2017.06.003MaRDI QIDQ1688969zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• scientific article; zbMATH DE number 1339950
• On the number of fixed points of a combinator in lambda calculus
• To \(\lambda\)-define the computable functions without the fixed point operators
• Lambda theories allowing terms with a finite number of fixed points
• The fixed point property and a technique to harness double fixed point combinators

Cites work

• scientific article; zbMATH DE number 5852776 (Why is no real title available?)
• scientific article; zbMATH DE number 3889501 (Why is no real title available?)
• scientific article; zbMATH DE number 1342220 (Why is no real title available?)
• scientific article; zbMATH DE number 3291134 (Why is no real title available?)
• scientific article; zbMATH DE number 3346618 (Why is no real title available?)
• A Universal Approach to Self-Referential Paradoxes, Incompleteness and Fixed Points
• Axiomatizing the quote
• Bemerkungen zum Komprehensionsaxiom. Dem Andenken an Heinrich Scholz gewidmet
• Some examples of non-existent combinators
• The lambda calculus. Its syntax and semantics. Rev. ed.

Cited in

(6)

• The fixed point property and a technique to harness double fixed point combinators
• On structure and extensionality of fixed-point combinators in CL\(w\)
• Diagonal fixed points in algebraic recursion theory
• On the number of fixed points of a combinator in lambda calculus
• Lambda theories allowing terms with a finite number of fixed points
• To \(\lambda\)-define the computable functions without the fixed point operators

Describes a project that uses

Uses Software

• MathOverflow

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1688969)