Natural deduction and coherence for weakly distributive categories (Q1126244): Difference between revisions

@@ Property / author @@
-Richard F. Blute
@@ Property / author: Richard F. Blute / rank @@
-Normal rank
@@ Property / author @@
-J. Robin B. Cockett
@@ Property / author: J. Robin B. Cockett / rank @@
-Normal rank
@@ Property / author @@
-Todd H. Trimble
@@ Property / author: Todd H. Trimble / rank @@
-Normal rank
@@ Property / author @@
+Richard F. Blute
@@ Property / author: Richard F. Blute / rank @@
+Normal rank
@@ Property / author @@
+J. Robin B. Cockett
@@ Property / author: J. Robin B. Cockett / rank @@
+Normal rank
@@ Property / author @@
+Todd H. Trimble
@@ Property / author: Todd H. Trimble / rank @@
+Normal rank
@@ 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 @@
+Q4842977
@@ Property / cites work: Q4842977 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4282573
@@ Property / cites work: Q4282573 / rank @@
+Normal rank
@@ Property / cites work @@
+Linear logic, coherence and dinaturality
@@ Property / cites work: Linear logic, coherence and dinaturality / rank @@
+Normal rank
@@ Property / cites work @@
+! and ? – Storage as tensorial strength
@@ Property / cites work: ! and ? – Storage as tensorial strength / rank @@
+Normal rank
@@ Property / cites work @@
+Q3138536
@@ Property / cites work: Q3138536 / rank @@
+Normal rank
@@ Property / cites work @@
+The structure of multiplicatives
@@ Property / cites work: The structure of multiplicatives / rank @@
+Normal rank
@@ Property / cites work @@
+The mix rule
@@ Property / cites work: The mix rule / rank @@
+Normal rank
@@ Property / cites work @@
+The virtues of eta-expansion
@@ Property / cites work: The virtues of eta-expansion / rank @@
+Normal rank
@@ Property / cites work @@
+Linear logic
@@ Property / cites work: Linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Bounded linear logic: A modular approach to polynomial-time computability
+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 @@
+The geometry of tensor calculus. I
@@ Property / cites work: The geometry of tensor calculus. I / rank @@
+Normal rank
@@ Property / cites work @@
+On MacLane's conditions for coherence of natural associativities, commutativities, etc
+Normal rank
@@ Property / cites work @@
+Coherence in closed categories
@@ Property / cites work: Coherence in closed categories / rank @@
+Normal rank
@@ Property / cites work @@
+Q4842976
@@ Property / cites work: Q4842976 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5595187
@@ Property / cites work: Q5595187 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4940719
@@ Property / cites work: Q4940719 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3727946
@@ Property / cites work: Q3727946 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5655528
@@ Property / cites work: Q5655528 / 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 @@
+Q5559220
@@ Property / cites work: Q5559220 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3827993
@@ Property / cites work: Q3827993 / rank @@
+Normal rank
@@ Property / cites work @@
+On natural transformations of distinguished functors and their superpositions in certain closed categories
+Normal rank
@@ Property / cites work @@
+Polycategories
@@ Property / cites work: Polycategories / rank @@
+Normal rank
@@ Property / cites work @@
+Q4495851
@@ Property / cites work: Q4495851 / rank @@
+Normal rank