scientific article

zbMath0564.03037MaRDI QIDQ3677755

Eugenio Moggi

Publication date: 1984

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

presheaveseffective domainspartial morphismsmodels of lambda calculuspartial objectcategory of constructive domainsgeneralized integer type structureHereditary Partial Effective Functionalshigher type computabilitymodels of Combinatory Logicnumbered setsRelative numberingsYoneda embeddings

Mathematics Subject Classification ID

Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Theory of numerations, effectively presented structures (03D45) Combinatory logic and lambda calculus (03B40) Theory of computing (68Q99) Higher-type and set recursion theory (03D65)

Related Items

Partial morphisms in categories of effective objects ⋮ Categories of partial maps ⋮ Pre-adjunctions in order enriched categories ⋮ On Church's formal theory of functions and functionals. The \(\lambda\)- calculus: Connections to higher type recursion theory, proof theory, category theory ⋮ Game theoretic analysis of call-by-value computation ⋮ Partiality, cartesian closedness, and toposes ⋮ A categorial approach to the theory of computation ⋮ Many-one reductions and the category of multivalued functions ⋮ A category-theoretic characterization of functional completeness ⋮ Game-theoretic analysis of call-by-value computation ⋮ Boolean restriction categories and taut monads ⋮ Introduction to Turing categories ⋮ Cocompletion of restriction categories