Non-existent Statman's double fixed point combinator does not exist, indeed

DOI10.1006/inco.1997.2633zbMath0878.03009OpenAlexW2087086022MaRDI QIDQ1368379

Benedetto Intrigila

Publication date: 14 December 1997

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1006/inco.1997.2633

zbMATH Keywords

\(\lambda\beta\)-calculusfixed point combinators

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Related Items (5)

Unnamed Item ⋮ Highlights in infinitary rewriting and lambda calculus ⋮ Clocks for Functional Programs ⋮ Applications of infinitary lambda calculus ⋮ Clocked lambda calculus

Cites Work

• The lambda calculus. Its syntax and semantics. Rev. ed.
• Some examples of non-existent combinators
• More problems in rewriting

This page was built for publication: Non-existent Statman's double fixed point combinator does not exist, indeed