Linear Exponential Comonads without Symmetry (Q5014810): Difference between revisions

@@ Property / cites work @@
+Phase semantics and sequent calculus for pure noncommutative classical linear propositional logic
+Normal rank
@@ Property / cites work @@
+Non-commutative logic. I: The multiplicative fragment
+Normal rank
@@ Property / cites work @@
+Nonsymmetric \(^{\ast}\)-autonomous categories
@@ Property / cites work: Nonsymmetric \(^{\ast}\)-autonomous categories / rank @@
+Normal rank
@@ Property / cites work @@
+Q4474834
@@ Property / cites work: Q4474834 / rank @@
+Normal rank
@@ Property / cites work @@
+Computer science logic. 6th workshop, CSL '92, San Miniato, Italy, September 28 -- October 2, 1992. Selected papers
+Normal rank
@@ Property / cites work @@
+Q3024825
@@ Property / cites work: Q3024825 / rank @@
+Normal rank
@@ Property / cites work @@
+A duality formalism in the spirit of Grothendieck and Verdier
+Normal rank
@@ Property / cites work @@
+Relations and non-commutative linear logic
@@ Property / cites work: Relations and non-commutative linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+On closed categories of functors
@@ Property / cites work: On closed categories of functors / rank @@
+Normal rank
@@ Property / cites work @@
+Proceedings of the Conference on Categorical Algebra
+Normal rank
@@ Property / cites work @@
+Linear logic
@@ Property / cites work: Linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Typed lambda calculi and applications. 4th international conference, TLCA '99. L'Aquila, Italy, April 7--9, 1999. Proceedings
+Normal rank
@@ Property / cites work @@
+Classical linear logic of implications
@@ Property / cites work: Classical linear logic of implications / rank @@
+Normal rank
@@ Property / cites work @@
+A quantum double construction in Rel
@@ Property / cites work: A quantum double construction in Rel / rank @@
+Normal rank
@@ Property / cites work @@
+Glueing and orthogonality for models of linear logic
+Normal rank
@@ Property / cites work @@
+Braided tensor categories
@@ Property / cites work: Braided tensor categories / rank @@
+Normal rank
@@ Property / cites work @@
+Q4100657
@@ Property / cites work: Q4100657 / rank @@
+Normal rank
@@ Property / cites work @@
+The linear abstract machine
@@ Property / cites work: The linear abstract machine / rank @@
+Normal rank
@@ Property / cites work @@
+Relating categorical semantics for intuitionistic linear logic
+Normal rank
@@ Property / cites work @@
+Q3075441
@@ Property / cites work: Q3075441 / rank @@
+Normal rank
@@ Property / cites work @@
+Advances in natural deduction. A celebration of Dag Prawitz's work. Selected papers based on the presentations at the conference ``Natural deduction'', Rio de Janeiro, Brazil, 2001
+Normal rank
@@ Property / cites work @@
+Categories in Computer Science and Logic
@@ Property / cites work: Categories in Computer Science and Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Tortile tensor categories
@@ Property / cites work: Tortile tensor categories / rank @@
+Normal rank
@@ Property / cites work @@
+Quantum invariants of knots and 3-manifolds
@@ Property / cites work: Quantum invariants of knots and 3-manifolds / rank @@
+Normal rank