A practical type theory for symmetric monoidal categories (Q5006460): Difference between revisions

@@ label / en / label / en @@
+A practical type theory for symmetric monoidal categories
@@ Property / describes a project that uses @@
+MathOverflow
@@ Property / describes a project that uses: MathOverflow / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / arXiv classification @@
+math.CT
@@ Property / arXiv classification: math.CT / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.00818
@@ Property / arXiv ID: 1911.00818 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3411960
@@ Property / cites work: Q3411960 / rank @@
+Normal rank
@@ Property / cites work @@
+*-Autonomous categories and linear logic
@@ Property / cites work: *-Autonomous categories and linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Props in Network Theory
@@ Property / cites work: Props in Network Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Natural deduction and coherence for weakly distributive categories
+Normal rank
@@ Property / cites work @@
+Linear logic propositions as session types
@@ Property / cites work: Linear logic propositions as session types / rank @@
+Normal rank
@@ Property / cites work @@
+Weakly distributive categories
@@ Property / cites work: Weakly distributive categories / rank @@
+Normal rank
@@ Property / cites work @@
+Q4858141
@@ Property / cites work: Q4858141 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4936346
@@ Property / cites work: Q4936346 / rank @@
+Normal rank
@@ Property / cites work @@
+The geometry of tensor calculus. I
@@ Property / cites work: The geometry of tensor calculus. I / rank @@
+Normal rank
@@ Property / cites work @@
+Traced monoidal categories
@@ Property / cites work: Traced monoidal categories / rank @@
+Normal rank
@@ Property / cites work @@
+Abstract Tensor Systems as Monoidal Categories
@@ Property / cites work: Abstract Tensor Systems as Monoidal Categories / rank @@
+Normal rank
@@ Property / cites work @@
+Coherence for compact closed categories
@@ Property / cites work: Coherence for compact closed categories / rank @@
+Normal rank
@@ Property / cites work @@
+Categorical algebra
@@ Property / cites work: Categorical algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Q4215784
@@ Property / cites work: Q4215784 / rank @@
+Normal rank
@@ Property / cites work @@
+A formal language for cyclic operads
@@ Property / cites work: A formal language for cyclic operads / rank @@
+Normal rank
@@ Property / cites work @@
+Q3324593
@@ Property / cites work: Q3324593 / rank @@
+Normal rank
@@ Property / cites work @@
+Weak Hopf monoids in braided monoidal categories.
@@ Property / cites work: Weak Hopf monoids in braided monoidal categories. / rank @@
+Normal rank
@@ Property / cites work @@
+Traces in symmetric monoidal categories
@@ Property / cites work: Traces in symmetric monoidal categories / rank @@
+Normal rank
@@ Property / cites work @@
+A Survey of Graphical Languages for Monoidal Categories
+Normal rank
@@ Property / cites work @@
+Polycategories
@@ Property / cites work: Polycategories / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5006460