Pages that link to "Item:Q3340845"
From MaRDI portal
The following pages link to Recursion theoretic operators and morphisms on numbered sets (Q3340845):
Displaying 7 items.
- Computability in higher types, P\(\omega\) and the completeness of type assignment (Q579245) (← links)
- Type 2 recursion theory (Q1073021) (← 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)
- Generic objects in recursion theory. II: Operations on recursive approximation spaces (Q1820776) (← links)
- Recursion and topology on \(2^{\leq\omega}\) for possibly infinite computations (Q1885034) (← links)
- CONNECTIONS BETWEEN IDENTIFYING FUNCTIONALS, STANDARDIZING OPERATIONS, AND COMPUTABLE NUMBERINGS (Q3347868) (← links)
- (Q3726103) (← links)