Some examples of non-existent combinators

DOI10.1016/0304-3975(93)90096-CzbMath0795.03022MaRDI QIDQ1314364

Richard Statman

Publication date: 1 September 1994

Published in: Theoretical Computer Science (Search for Journal in Brave)

zbMATH Keywords

combinatorscombinatory logicfixed point combinatoruniversal generator

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Related Items (3)

Non-existent Statman's double fixed point combinator does not exist, indeed ⋮ Fixed points in lambda calculus. an eccentric survey of problems and solutions ⋮ On the representation of semigroups and other congruences in the lambda calculus

Cites Work

• On sets of solutions to combinator equations
• Some new results on easy lambda-terms
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Some examples of non-existent combinators