\(\mathbb{Z}\)-modules and full completeness of multiplicative linear logic (Q1840462): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q3933122
@@ Property / cites work: Q3933122 / rank @@
+Normal rank
@@ Property / cites work @@
+Games and full completeness for multiplicative linear logic
+Normal rank
@@ Property / cites work @@
+Q4100554
@@ Property / cites work: Q4100554 / rank @@
+Normal rank
@@ Property / cites work @@
+*-autonomous categories. With an appendix by Po-Hsiang Chu
+Normal rank
@@ Property / cites work @@
+Appendix: Separability of tensor in Chu categories of vector spaces
+Normal rank
@@ Property / cites work @@
+Nonsymmetric \(^{\ast}\)-autonomous categories
@@ Property / cites work: Nonsymmetric \(^{\ast}\)-autonomous categories / rank @@
+Normal rank
@@ Property / cites work @@
+Linear Läuchli semantics
@@ Property / cites work: Linear Läuchli semantics / rank @@
+Normal rank
@@ Property / cites work @@
+The shuffle Hopf algebra and noncommutative full completeness
+Normal rank
@@ Property / cites work @@
+Q4342439
@@ Property / cites work: Q4342439 / rank @@
+Normal rank
@@ Property / cites work @@
+The structure of multiplicatives
@@ Property / cites work: The structure of multiplicatives / rank @@
+Normal rank
@@ Property / cites work @@
+Q4842966
@@ Property / cites work: Q4842966 / rank @@
+Normal rank
@@ Property / cites work @@
+Coherent Banach spaces: A continuous denotational semantics
+Normal rank
@@ Property / cites work @@
+Q4010357
@@ Property / cites work: Q4010357 / rank @@
+Normal rank
@@ Property / cites work @@
+Pontrjagin duality and full completeness for  multiplicative linear logic (without Mix)
+Normal rank
@@ Property / cites work @@
+Q5619069
@@ Property / cites work: Q5619069 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5837859
@@ Property / cites work: Q5837859 / rank @@
+Normal rank
@@ Property / cites work @@
+\(*\)-autonomous categories of bimodules
@@ Property / cites work: \(*\)-autonomous categories of bimodules / rank @@
+Normal rank
@@ Property / cites work @@
+Q3827993
@@ Property / cites work: Q3827993 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5590089
@@ Property / cites work: Q5590089 / rank @@
+Normal rank
@@ Property / cites work @@
+Quantales and (noncommutative) linear logic
@@ Property / cites work: Quantales and (noncommutative) linear logic / rank @@
+Normal rank