Pages that link to "Item:Q3734394"
From MaRDI portal
The following pages link to The hereditary partial effective functionals and recursion theory in higher types (Q3734394):
Displaying 19 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)
- Kleene computable functionals and the higher order existence property (Q1104319) (← 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)
- Hereditarily effective typestreams (Q1360315) (← links)
- Specification of abstract dynamic-data types: A temporal logic approach (Q1391733) (← links)
- Exact real number computations relative to hereditarily total functionals. (Q1607298) (← links)
- On the ubiquity of certain total type structures (extended abstract) (Q2851540) (← links)
- On Arithmetic Computations with Hereditarily Finite Sets, Functions and Types (Q3585061) (← links)
- Precomplete Equivalence Relations in Dominical Categories (Q3741621) (← links)
- Recursive Functionals and Quantifiers of Finite Types Revisited, V (Q3978437) (← links)
- Acceptable Numerations of Morphisms and Myhill‐Shepherdson Property (Q4323830) (← links)
- (Q4513589) (← links)
