Pages that link to "Item:Q1688969"
From MaRDI portal
The following pages link to Fixed points in lambda calculus. an eccentric survey of problems and solutions (Q1688969):
Displaying 5 items.
- Non-existent Statman's double fixed point combinator does not exist, indeed (Q1368379) (← links)
- Diagonal fixed points in algebraic recursion theory (Q2576642) (← links)
- Lambda theories allowing terms with a finite number of fixed points (Q2973253) (← links)
- Fixed point equations inside the algebra of normal forms (Q4265612) (← links)
- The fixed point property and a technique to harness double fixed point combinators (Q5213397) (← links)