scientific article; zbMATH DE number 3901002

MaRDI QIDQ3679367zbMATH OpenFDO

Authors Laurent Coppey

Publication date 1984

Full work available at URL https://eudml.org/doc/91744

zbMATH Keywords

Kan extensionsrecursion theorypartial structuresPeano categories

Mathematics Subject Classification ID

Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Special categories (18B99) Recursive functions and relations, subrecursive hierarchies (03D20) Foundations, relations to logic and deductive systems (18A15)

Recommendations

• scientific article; zbMATH DE number 3950509
• Publication:4333486
• A categorial approach to the theory of computation
• A relativization mechanism in recursion categories
• Aspects of categorical recursion theory

Cited in

(11)

• A generalization of the concept of sketch
• Ultradiophantine Categories
• scientific article; zbMATH DE number 4041902 (Why is no real title available?)
• scientific article; zbMATH DE number 3944108 (Why is no real title available?)
• Categorical comprehensions and recursion
• Categorial generalization of algebraic recursion theory
• scientific article; zbMATH DE number 30669 (Why is no real title available?)
• A categorical framework for code evaluation method
• scientific article; zbMATH DE number 980656 (Why is no real title available?)
• scientific article; zbMATH DE number 1022262 (Why is no real title available?)
• Aspects of categorical recursion theory

This page was built for publication:

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