Pages that link to "Item:Q1314364"
From MaRDI portal
The following pages link to Some examples of non-existent combinators (Q1314364):
Displayed 3 items.
- Non-existent Statman's double fixed point combinator does not exist, indeed (Q1368379) (← links)
- Fixed points in lambda calculus. an eccentric survey of problems and solutions (Q1688969) (← links)
- On the representation of semigroups and other congruences in the lambda calculus (Q1744394) (← links)