The fixed point property and a technique to harness double fixed point combinators

DOI10.1093/LOGCOM/EXZ013MaRDI QIDQ5213397zbMATHOpenAlexWikidataFDO

Authors Giulio Manzonetto, Andrew Polonsky, Alexis Saurin, Jakob Grue Simonsen

Publication date 3 February 2020

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/logcom/exz013

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Recommendations

• Non-existent Statman's double fixed point combinator does not exist, indeed
• On structure and extensionality of fixed-point combinators in CL\(w\)
• Lambda theories allowing terms with a finite number of fixed points
• Fixed points in lambda calculus. an eccentric survey of problems and solutions
• On the number of fixed points of a combinator in lambda calculus

Cited in

(5)

• Fixed points in lambda calculus. an eccentric survey of problems and solutions
• scientific article; zbMATH DE number 7226002 (Why is no real title available?)
• Fixed points of formulas with double modalities
• On the number of fixed points of a combinator in lambda calculus
• scientific article; zbMATH DE number 7577574 (Why is no real title available?)

This page was built for publication: The fixed point property and a technique to harness double fixed point combinators

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