The hereditary partial effective functionals and recursion theory in higher types

DOI10.2307/2274281zbMath0599.03051OpenAlexW1972812828MaRDI QIDQ3734394

Eugenio Moggi

Publication date: 1984

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2274281

zbMATH Keywords

Kleene-Kreisel countable functionalscanonical enumeration of the partial recursive functionscomputable elements of the hereditary continuous partial objectshereditary effective operationsrelative numberingstype-structure of partial effective functionals over the natural numbers

Mathematics Subject Classification ID

Theory of numerations, effectively presented structures (03D45) Higher-type and set recursion theory (03D65)

Related Items (13)

Partial morphisms in categories of effective objects ⋮ On Church's formal theory of functions and functionals. The \(\lambda\)- calculus: Connections to higher type recursion theory, proof theory, category theory ⋮ Decidability of the restriction equational theory in the partial lambda calculus ⋮ Specification of abstract dynamic-data types: A temporal logic approach ⋮ A categorial approach to the theory of computation ⋮ A category-theoretic characterization of functional completeness ⋮ Computability and the morphological complexity of some dynamics on continuous domains ⋮ Unnamed Item ⋮ Precomplete Equivalence Relations in Dominical Categories ⋮ Computability in higher types, P\(\omega\) and the completeness of type assignment ⋮ Notions of computation and monads ⋮ Exact real number computations relative to hereditarily total functionals. ⋮ Type 2 recursion theory

Cites Work

• Recursion on the countable functionals
• The theory of A-spaces
• Effective operations on partial recursive functions

This page was built for publication: The hereditary partial effective functionals and recursion theory in higher types