Pages that link to "Item:Q3340845"

The following pages link to Recursion theoretic operators and morphisms on numbered sets (Q3340845):

Displayed 3 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)