Pages that link to "Item:Q3608418"
From MaRDI portal
The following pages link to Lambda Theories of Effective Lambda Models (Q3608418):
Displaying 4 items.
- On the completeness of order-theoretic models of the \(\lambda \)-calculus (Q1021569) (← links)
- Varying \(\Lambda\) theory revisited (Q2054883) (← links)
- Lambda theories allowing terms with a finite number of fixed points (Q2973253) (← links)
- Effective λ-models versus recursively enumerable λ-theories (Q3643360) (← links)