Bifibrations of polycategories and classical linear logic
From MaRDI portal
Publication:2133466
DOI10.1016/j.entcs.2020.09.003WikidataQ113317308 ScholiaQ113317308MaRDI QIDQ2133466
Noam Zeilberger, Nicolas Blanco
Publication date: 29 April 2022
Full work available at URL: https://doi.org/10.1016/j.entcs.2020.09.003
68Q55: Semantics in the theory of computing
68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
Related Items
Cites Work
- Dialogue categories and chiralities
- Linear logic
- *-autonomous categories. With an appendix by Po-Hsiang Chu
- Weakly distributive categories
- Natural deduction and coherence for weakly distributive categories
- Koszul duality for dioperads.
- Representable multicategories
- Functors are Type Refinement Systems
- Compact Closed Bicategories
- The Mathematics of Sentence Structure
- *-Autonomous categories and linear logic
- Polycategories
- A bifibrational reconstruction of Lawvere's presheaf hyperdoctrine
- The 2-Chu-Dialectica construction and the polycategory of multivariable adjunctions
- Fibered Multiderivators and (co)homological descent
- Proof theory in the abstract
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item