Pages that link to "Item:Q4265612"
From MaRDI portal
The following pages link to Fixed point equations inside the algebra of normal forms (Q4265612):
Displaying 6 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)
- Point-fixe sur un ensemble restreint (Q3783267) (← links)
- Functional programming and combinatory algebras (Q3821565) (← links)
- Subduing self-application (Q4205067) (← links)
- A self-interpreter of lambda calculus having a normal form (Q4283231) (← links)