Pages that link to "Item:Q807612"
From MaRDI portal
The following pages link to The absence and the presence of fixed point combinators (Q807612):
Displaying 8 items.
- The kernel strategy and its use for the study of combinatory logic (Q1311399) (← links)
- Some examples of non-existent combinators (Q1314364) (← links)
- Uniform strategies: The CADE-11 theorem proving contest (Q1319384) (← links)
- Non-existent Statman's double fixed point combinator does not exist, indeed (Q1368379) (← links)
- Automatic construction of finite algebras (Q1894320) (← links)
- (Q3300788) (← links)
- The Legacy of a Great Researcher (Q4913858) (← links)
- Clocked lambda calculus (Q5269007) (← links)