The following pages link to Parametric \(\lambda \)-theories (Q930867):
Displaying 8 items.
- Parametric parameter passing \(\lambda\)-calculus (Q1887148) (← links)
- Lambda theories allowing terms with a finite number of fixed points (Q2973253) (← links)
- (Q3300796) (← links)
- (Q3837724) (← links)
- (Q4580329) (← links)
- (Q4625694) (← links)
- (Q5015213) (← links)
- Light genericity (Q6629516) (← links)