Pages that link to "Item:Q2973253"
From MaRDI portal
The following pages link to Lambda theories allowing terms with a finite number of fixed points (Q2973253):
Displaying 5 items.
- Fixed points in lambda calculus. an eccentric survey of problems and solutions (Q1688969) (← links)
- Point-fixe sur un ensemble restreint (Q3783267) (← links)
- (Q5101343) (← links)
- The fixed point property and a technique to harness double fixed point combinators (Q5213397) (← links)
- No solvable lambda-value term left behind (Q5739897) (← links)