The following pages link to The Lattice of Lambda Theories (Q4820472):
Displaying 14 items.
- Capture-avoiding substitution as a nominal algebra (Q939160) (← links)
- A study of substitution, using nominal techniques and Fraenkel-Mostowksi sets (Q1006642) (← links)
- Intersection types and domain operators (Q1434348) (← links)
- Varying \(\Lambda\) theory revisited (Q2054883) (← links)
- Subrecursive equivalence relations and (non-)closure under lattice operations (Q2117798) (← links)
- Easiness in graph models (Q2368937) (← links)
- What is a categorical model of the differential and the resource \(\lambda \)-calculi? (Q2888856) (← links)
- Lambda theories allowing terms with a finite number of fixed points (Q2973253) (← links)
- Residuated Park theories (Q3195621) (← links)
- Effective λ-models versus recursively enumerable λ-theories (Q3643360) (← links)
- (Q4580329) (← links)
- (Q4625694) (← links)
- (Q5101343) (← links)
- Refutation of Sallé's longstanding conjecture (Q5111316) (← links)