Bifibrations of polycategories and classical linear logic (Q2133466): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.entcs.2020.09.003
+Normal rank
@@ Property / OpenAlex ID @@
+W3093908277
@@ Property / OpenAlex ID: W3093908277 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q113317308
@@ Property / Wikidata QID: Q113317308 / rank @@
+Normal rank
@@ Property / cites work @@
+*-autonomous categories. With an appendix by Po-Hsiang Chu
+Normal rank
@@ Property / cites work @@
+*-Autonomous categories and linear logic
@@ Property / cites work: *-Autonomous categories and linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Natural deduction and coherence for weakly distributive categories
+Normal rank
@@ Property / cites work @@
+Weakly distributive categories
@@ Property / cites work: Weakly distributive categories / rank @@
+Normal rank
@@ Property / cites work @@
+Q3416824
@@ Property / cites work: Q3416824 / rank @@
+Normal rank
@@ Property / cites work @@
+Koszul duality for dioperads.
@@ Property / cites work: Koszul duality for dioperads. / rank @@
+Normal rank
@@ Property / cites work @@
+Linear logic
@@ Property / cites work: Linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Representable multicategories
@@ Property / cites work: Representable multicategories / rank @@
+Normal rank
@@ Property / cites work @@
+Q4663634
@@ Property / cites work: Q4663634 / rank @@
+Normal rank
@@ Property / cites work @@
+Fibered Multiderivators and (co)homological descent
+Normal rank
@@ Property / cites work @@
+Proof theory in the abstract
@@ Property / cites work: Proof theory in the abstract / rank @@
+Normal rank
@@ Property / cites work @@
+Q5144641
@@ Property / cites work: Q5144641 / rank @@
+Normal rank
@@ Property / cites work @@
+The Mathematics of Sentence Structure
@@ Property / cites work: The Mathematics of Sentence Structure / rank @@
+Normal rank
@@ Property / cites work @@
+Q3846669
@@ Property / cites work: Q3846669 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5595187
@@ Property / cites work: Q5595187 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5111322
@@ Property / cites work: Q5111322 / rank @@
+Normal rank
@@ Property / cites work @@
+Dialogue categories and chiralities
@@ Property / cites work: Dialogue categories and chiralities / rank @@
+Normal rank
@@ Property / cites work @@
+Functors are Type Refinement Systems
@@ Property / cites work: Functors are Type Refinement Systems / rank @@
+Normal rank
@@ Property / cites work @@
+A bifibrational reconstruction of Lawvere's presheaf hyperdoctrine
+Normal rank
@@ Property / cites work @@
+Q2776774
@@ Property / cites work: Q2776774 / rank @@
+Normal rank
@@ Property / cites work @@
+The 2-Chu-Dialectica construction and the polycategory of multivariable adjunctions
+Normal rank
@@ Property / cites work @@
+Compact Closed Bicategories
@@ Property / cites work: Compact Closed Bicategories / rank @@
+Normal rank
@@ Property / cites work @@
+Polycategories
@@ Property / cites work: Polycategories / rank @@
+Normal rank