Proof-net categories
From MaRDI portal
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Categorical logic, topoi (03G30) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15)
Recommendations
Cited in
(22)- Coherence in linear predicate logic
- Natural deduction and coherence for weakly distributive categories
- An internal language for autonomous categories
- Simple free star-autonomous categories and full coherence
- Symmetric bimonoidal intermuting categories and \(\omega\times\omega\) reduced bar constructions
- Coherence for star-autonomous categories
- Symmetric self-adjunctions and matrices
- Generalised Proof-Nets for Compact Categories with Biproducts
- Intermutation
- Cartesian isomorphisms are symmetric monoidal: A justification of linear logic
- scientific article; zbMATH DE number 517045 (Why is no real title available?)
- scientific article; zbMATH DE number 1497809 (Why is no real title available?)
- On cyclic star-autonomous categories
- Dialogue categories and Frobenius monoids
- Coherence of proof-net categories
- Aspects of categorical recursion theory
- Proof nets, coends and the Yoneda isomorphism
- Inferential Semantics
- Coherence for modalities
- On the axiomatisation of Boolean categories with and without medial
- Proof nets and semi-star-autonomous categories
- Equality of proofs for linear equality
This page was built for publication: Proof-net categories
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5411254)
