LNL polycategories and doctrines of linear logic
From MaRDI portal
Publication:6135749
DOI10.46298/lmcs-19(2:1)2023arXiv2106.15042MaRDI QIDQ6135749
Publication date: 26 August 2023
Published in: Logical Methods in Computer Science (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2106.15042
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Skew-monoidal categories and bialgebroids.
- *-autonomous categories. With an appendix by Po-Hsiang Chu
- Weakly distributive categories
- On the unity of logic
- Introduction to extensive and distributive categories
- Glueing and orthogonality for models of linear logic
- Representable multicategories
- Skew monoidal categories and skew multicategories
- Higher cyclic operads
- Bifibrations of polycategories and classical linear logic
- The sequent calculus of skew monoidal categories
- Coherence via focusing for symmetric skew monoidal categories
- Polycategories via pseudo-distributive laws
- Strong functors and monoidal monads
- Adjunction Models For Call-By-Push-Value With Stacks
- Tensors, monads and actions
- Categorical Homotopy Theory
- Closed categories vs. closed multicategories
- The enriched effect calculus: syntax and semantics
- Cyclic multicategories, multivariable adjunctions and mates
- *-Autonomous categories and linear logic
- Polycategories
- Premonoidal categories and notions of computation
- An explicit formula for the free exponential modality of linear logic
- Classical linear logic of implications
- ! and ? – Storage as tensorial strength
- Dwyer–Kan homotopy theory for cyclic operads
- The linear-non-linear substitution 2-monad
- A unified framework for generalized multicategories
- Braided skew monoidal categories
- The 2-Chu-Dialectica construction and the polycategory of multivariable adjunctions
- Linear usage of state
- Closed categories generated by commutative monads
- A syntax for linear logic
- Proof theory in the abstract