Quantum coherent spaces and linear logic (Q2998726): Difference between revisions

@@ Property / cites work @@
+Games and full completeness for multiplicative linear logic
+Normal rank
@@ Property / cites work @@
+Q4397244
@@ Property / cites work: Q4397244 / 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 @@
+Q4342439
@@ Property / cites work: Q4342439 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3548540
@@ Property / cites work: Q3548540 / rank @@
+Normal rank
@@ Property / cites work @@
+Truth, modality and intersubjectivity
@@ Property / cites work: Truth, modality and intersubjectivity / rank @@
+Normal rank
@@ Property / cites work @@
+Bounded linear logic: A modular approach to polynomial-time computability
+Normal rank
@@ Property / cites work @@
+Q4215784
@@ Property / cites work: Q4215784 / rank @@
+Normal rank
@@ Property / cites work @@
+An Introduction to Banach Space Theory
@@ Property / cites work: An Introduction to Banach Space Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q3075441
@@ Property / cites work: Q3075441 / rank @@
+Normal rank
@@ Property / cites work @@
+Multiplexor Categories and Models of Soft Linear Logic
+Normal rank
@@ Property / cites work @@
+Q3873024
@@ Property / cites work: Q3873024 / rank @@
+Normal rank