Pages that link to "Item:Q3734394"

The following pages link to The hereditary partial effective functionals and recursion theory in higher types (Q3734394):

Displaying 13 items.

• Computability in higher types, P\(\omega\) and the completeness of type assignment (Q579245) (← links)
• Notions of computation and monads (Q757075) (← links)
• A categorial approach to the theory of computation (Q911584) (← links)
• A category-theoretic characterization of functional completeness (Q912587) (← links)
• Computability and the morphological complexity of some dynamics on continuous domains (Q930875) (← links)
• Type 2 recursion theory (Q1073021) (← links)
• Partial morphisms in categories of effective objects (Q1109126) (← 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)
• Decidability of the restriction equational theory in the partial lambda calculus (Q1120561) (← links)
• Specification of abstract dynamic-data types: A temporal logic approach (Q1391733) (← links)
• Exact real number computations relative to hereditarily total functionals. (Q1607298) (← links)
• Precomplete Equivalence Relations in Dominical Categories (Q3741621) (← links)
• (Q4513589) (← links)