Nonsymmetric \(^{\ast}\)-autonomous categories (Q673964): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/0304-3975(94)00089-2
+Normal rank
@@ Property / OpenAlex ID @@
+W2010407999
@@ Property / OpenAlex ID: W2010407999 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5620723
@@ Property / cites work: Q5620723 / 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 @@
+*-autonomous categories, revisited
@@ Property / cites work: *-autonomous categories, revisited / rank @@
+Normal rank
@@ Property / cites work @@
+Q5586461
@@ Property / cites work: Q5586461 / rank @@
+Normal rank
@@ Property / cites work @@
+Linear logic
@@ Property / cites work: Linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q5327708
@@ Property / cites work: Q5327708 / rank @@
+Normal rank
@@ Property / cites work @@
+Languages for monoidal categories
@@ Property / cites work: Languages for monoidal categories / 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 @@
+Some lattice models of bilinear logic
@@ Property / cites work: Some lattice models of bilinear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q3827993
@@ Property / cites work: Q3827993 / rank @@
+Normal rank