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

DOI10.1093/LOGCOM/EXZ013zbMATH Open1444.03019OpenAlexW2960827503WikidataQ127965786 ScholiaQ127965786MaRDI QIDQ5213397FDOQ5213397

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

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

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Cited In (5)

• Fixed points of formulas with double modalities
• Title not available (Why is that?)
• Title not available (Why is that?)
• Fixed points in lambda calculus. an eccentric survey of problems and solutions
• On the number of fixed points of a combinator in lambda calculus

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)