A relativization mechanism in recursion categories
From MaRDI portal
Publication:4283065
Recommendations
- Intensional Equality in Categories With Structure and Coherence Problems
- scientific article; zbMATH DE number 4195927
- scientific article; zbMATH DE number 7715469
- On some connections between logic and category theory
- scientific article; zbMATH DE number 4068864
- The relative category.
- An existence theorem for recursion categories
- scientific article; zbMATH DE number 3959364
- scientific article; zbMATH DE number 1665321
- Category theory based on combinatory logic
Cites work
Cited in
(7)- An existence theorem for recursion categories
- A new perspective on observables in the category of relations: a spectral presheaf for relations
- Introduction to Turing categories
- scientific article; zbMATH DE number 1136659 (Why is no real title available?)
- scientific article; zbMATH DE number 3901002 (Why is no real title available?)
- An algebraic approach to categories of partial morphisms
- scientific article; zbMATH DE number 3950509 (Why is no real title available?)
This page was built for publication: A relativization mechanism in recursion categories
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4283065)