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 5 items.
- The kernel strategy and its use for the study of combinatory logic (Q1311399) (← links)
- Uniform strategies: The CADE-11 theorem proving contest (Q1319384) (← links)
- Automatic construction of finite algebras (Q1894320) (← links)
- The Legacy of a Great Researcher (Q4913858) (← links)
- Clocked lambda calculus (Q5269007) (← links)
