Remarks on classifications and adjunctions
From MaRDI portal
Recommendations
Cites work
- scientific article; zbMATH DE number 3864486 (Why is no real title available?)
- scientific article; zbMATH DE number 1998330 (Why is no real title available?)
- scientific article; zbMATH DE number 822489 (Why is no real title available?)
- scientific article; zbMATH DE number 3367095 (Why is no real title available?)
- *-Autonomous categories and linear logic
- *-autonomous categories. With an appendix by Po-Hsiang Chu
- An institution-independent proof of Craig interpolation theorem
- An introduction to category-based equational logic
- Information Flow
- Institution morphisms
- Institutions: abstract model theory for specification and programming
- Linear logic
Cited in
(4)
This page was built for publication: Remarks on classifications and adjunctions
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q861977)