Linear Exponential Comonads without Symmetry
From MaRDI portal
Publication:5014810
zbMath1486.03106arXiv1701.04919MaRDI QIDQ5014810
Publication date: 8 December 2021
Full work available at URL: https://arxiv.org/abs/1701.04919
Proof-theoretic aspects of linear logic and other substructural logics (03F52) Monoidal categories, symmetric monoidal categories (18M05)
Related Items (1)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Advances in natural deduction. A celebration of Dag Prawitz's work. Selected papers based on the presentations at the conference ``Natural deduction, Rio de Janeiro, Brazil, 2001
- Linear logic
- Nonsymmetric \(^{\ast}\)-autonomous categories
- The linear abstract machine
- Typed lambda calculi and applications. 4th international conference, TLCA '99. L'Aquila, Italy, April 7--9, 1999. Proceedings
- Computer science logic. 6th workshop, CSL '92, San Miniato, Italy, September 28 -- October 2, 1992. Selected papers
- Braided tensor categories
- Tortile tensor categories
- Glueing and orthogonality for models of linear logic
- Relating categorical semantics for intuitionistic linear logic
- Relations and non-commutative linear logic
- Non-commutative logic. I: The multiplicative fragment
- A duality formalism in the spirit of Grothendieck and Verdier
- A quantum double construction in Rel
- Phase semantics and sequent calculus for pure noncommutative classical linear propositional logic
- Classical linear logic of implications
- Categories in Computer Science and Logic
- Proceedings of the Conference on Categorical Algebra
- On closed categories of functors
- Quantum invariants of knots and 3-manifolds
This page was built for publication: Linear Exponential Comonads without Symmetry
