Pages that link to "Item:Q760416"
From MaRDI portal
The following pages link to On combinatory algebras and their expansions (Q760416):
Displaying 9 items.
- Computability in higher types, P\(\omega\) and the completeness of type assignment (Q579245) (← links)
- A category-theoretic characterization of functional completeness (Q912587) (← links)
- Set-theoretical models of lambda-calculus: theories, expansions, isomorphisms (Q1050334) (← links)
- Finite type structures within combinatory algebras (Q1182485) (← links)
- A Note on Absolutely Unorderable Combinatory Algebras (Q4434611) (← links)
- Collapsing partial combinatory algebras (Q4645804) (← links)
- Extending partial combinatory algebras (Q4704765) (← links)
- On flexible composition algebras (Q5287582) (← links)
- COMPUTABLY ENUMERABLE ALGEBRAS, THEIR EXPANSIONS, AND ISOMORPHISMS (Q5316305) (← links)