scientific article; zbMATH DE number 3901002

zbMATH Open0565.18004MaRDI QIDQ3679367FDOQ3679367

Authors: Laurent Coppey 

Publication date: 1984

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

Title of this publication is not available (Why is that?)

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

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)

Cited In (11)

• A generalization of the concept of sketch
• Ultradiophantine Categories
• Title not available (Why is that?)
• Title not available (Why is that?)
• Categorical comprehensions and recursion
• Categorial generalization of algebraic recursion theory
• A categorical framework for code evaluation method
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• 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)