The hereditary partial effective functionals and recursion theory in higher types

DOI10.2307/2274281MaRDI QIDQ3734394zbMATH OpenOpenAlexFDO

Authors Eugenio Moggi, Giuseppe Longo

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

canonical enumeration of the partial recursive functionscomputable elements of the hereditary continuous partial objectshereditary effective operationsKleene-Kreisel countable functionalsrelative 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)

Recommendations

• Recursion on the partial continuous functionals
• scientific article; zbMATH DE number 3997775
• Recursive Functionals and Quantifiers of Finite Types Revisited, V
• scientific article; zbMATH DE number 3933051
• Axiomatic recursion theory and the continuous functionals

Cites work

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

Cited in

(26)

• Type 2 recursion theory
• Kleene computable functionals and the higher order existence property
• Partial morphisms in categories of effective objects
• On Church's formal theory of functions and functionals. The - calculus: Connections to higher type recursion theory, proof theory, category theory
• Decidability of the restriction equational theory in the partial lambda calculus
• Hereditarily effective typestreams
• Specification of abstract dynamic-data types: A temporal logic approach
• Exact real number computations relative to hereditarily total functionals.
• On the ubiquity of certain total type structures (extended abstract)
• On Arithmetic Computations with Hereditarily Finite Sets, Functions and Types
• scientific article; zbMATH DE number 3914307 (Why is no real title available?)
• scientific article; zbMATH DE number 3916254 (Why is no real title available?)
• Isomorphisms between HEO and HRO^E, ECF and ICF^E
• Effective discontinuity and a characterisation of the superjump
• Precomplete Equivalence Relations in Dominical Categories
• Recursive Functionals and Quantifiers of Finite Types Revisited, V
• Acceptable Numerations of Morphisms and Myhill‐Shepherdson Property
• scientific article; zbMATH DE number 1984266 (Why is no real title available?)
• scientific article; zbMATH DE number 1531372 (Why is no real title available?)
• scientific article; zbMATH DE number 3997775 (Why is no real title available?)
• Recursion on the partial continuous functionals
• Computability in higher types, P and the completeness of type assignment
• Notions of computation and monads
• 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

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3734394)