Pages that link to "Item:Q3734353"
From MaRDI portal
The following pages link to Effectively given domains and lambda-calculus models (Q3734353):
Displaying 10 items.
- Computability in higher types, P\(\omega\) and the completeness of type assignment (Q579245) (← links)
- Stability and computability in coherent domains (Q752707) (← links)
- A category-theoretic characterization of functional completeness (Q912587) (← links)
- On Church's formal theory of functions and functionals. The \(\lambda\)- calculus: Connections to higher type recursion theory, proof theory, category theory (Q1120558) (← links)
- Total sets and objects in domain theory (Q1210138) (← links)
- A computable expression of closure to efficient causation (Q1617623) (← links)
- Effective inseparability in a topological setting (Q1923565) (← links)
- Effective λ-models versus recursively enumerable λ-theories (Q3643360) (← links)
- On effective topological spaces (Q4391431) (← links)
- Representations versus numberings: On the relationship of two computability notions (Q5958133) (← links)
