Multiplicative Linear Logics and Fibrations (Q2842824): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Phase semantics and sequent calculus for pure noncommutative classical linear propositional logic
+Normal rank
@@ Property / cites work @@
+Equality of morphism and coherence theorem for biclosed categories
+Normal rank
@@ Property / cites work @@
+Nonsymmetric \(^{\ast}\)-autonomous categories
@@ Property / cites work: Nonsymmetric \(^{\ast}\)-autonomous categories / rank @@
+Normal rank
@@ Property / cites work @@
+Q4283230
@@ Property / cites work: Q4283230 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4375247
@@ Property / cites work: Q4375247 / rank @@
+Normal rank
@@ Property / cites work @@
+The logic of linear functors
@@ Property / cites work: The logic of linear functors / rank @@
+Normal rank
@@ Property / cites work @@
+Q4790674
@@ Property / cites work: Q4790674 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4766979
@@ Property / cites work: Q4766979 / rank @@
+Normal rank
@@ Property / cites work @@
+Introduction to linear bicategories
@@ Property / cites work: Introduction to linear bicategories / rank @@
+Normal rank
@@ Property / cites work @@
+Q4342439
@@ Property / cites work: Q4342439 / rank @@
+Normal rank
@@ Property / cites work @@
+Classical non-associative Lambek calculus
@@ Property / cites work: Classical non-associative Lambek calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Q5688876
@@ Property / cites work: Q5688876 / rank @@
+Normal rank
@@ Property / cites work @@
+Linear logic
@@ Property / cites work: Linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Substructural logics on display
@@ Property / cites work: Substructural logics on display / rank @@
+Normal rank
@@ Property / cites work @@
+Representable multicategories
@@ Property / cites work: Representable multicategories / rank @@
+Normal rank
@@ Property / cites work @@
+Categorical logic and type theory
@@ Property / cites work: Categorical logic and type theory / rank @@
+Normal rank
@@ Property / cites work @@
+The structure of free closed categories
@@ Property / cites work: The structure of free closed categories / rank @@
+Normal rank
@@ Property / cites work @@
+Une théorie combinatoire des séries formelles
@@ Property / cites work: Une théorie combinatoire des séries formelles / rank @@
+Normal rank
@@ Property / cites work @@
+Q3752561
@@ Property / cites work: Q3752561 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5654207
@@ Property / cites work: Q5654207 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5654206
@@ Property / cites work: Q5654206 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5595187
@@ Property / cites work: Q5595187 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4735315
@@ Property / cites work: Q4735315 / rank @@
+Normal rank
@@ Property / cites work @@
+The geometry of iterated loop spaces
@@ Property / cites work: The geometry of iterated loop spaces / rank @@
+Normal rank
@@ Property / cites work @@
+Closed categories and the theory of proofs
@@ Property / cites work: Closed categories and the theory of proofs / rank @@
+Normal rank
@@ Property / cites work @@
+Proof nets for the multimodal Lambek calculus
@@ Property / cites work: Proof nets for the multimodal Lambek calculus / rank @@
+Normal rank
@@ Property / cites work @@
+\(*\)-autonomous categories of bimodules
@@ Property / cites work: \(*\)-autonomous categories of bimodules / rank @@
+Normal rank
@@ Property / cites work @@
+Non-commutative logic II: sequent calculus and phase semantics
+Normal rank
@@ Property / cites work @@
+Q4282541
@@ Property / cites work: Q4282541 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4092156
@@ Property / cites work: Q4092156 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebra of proofs
@@ Property / cites work: Algebra of proofs / rank @@
+Normal rank
@@ Property / cites work @@
+Quantales and (noncommutative) linear logic
@@ Property / cites work: Quantales and (noncommutative) linear logic / rank @@
+Normal rank