Semimodule Enrichment (Q5415638): Difference between revisions

@@ Property / DOI @@
-.1016/j.entcs.2008.10.012
@@ Property / DOI: 10.1016/j.entcs.2008.10.012 / rank @@
-Normal rank
@@ Property / cites work @@
+Algebra and Coalgebra in Computer Science
@@ Property / cites work: Algebra and Coalgebra in Computer Science / rank @@
+Normal rank
@@ Property / cites work @@
+Q4304740
@@ Property / cites work: Q4304740 / rank @@
+Normal rank
@@ Property / cites work @@
+Group-like structures in general categories. I. Multiplications and comultiplications
+Normal rank
@@ Property / cites work @@
+Differential Structure in Models of Multiplicative Biadditive Intuitionistic Linear Logic
+Normal rank
@@ Property / cites work @@
+Coalgebras and cartesian categories
@@ Property / cites work: Coalgebras and cartesian categories / rank @@
+Normal rank
@@ Property / cites work @@
+Q4700998
@@ Property / cites work: Q4700998 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4546148
@@ Property / cites work: Q4546148 / rank @@
+Normal rank
@@ Property / cites work @@
+Semantics of weakening and contraction
@@ Property / cites work: Semantics of weakening and contraction / rank @@
+Normal rank
@@ Property / cites work @@
+Q3934579
@@ Property / cites work: Q3934579 / rank @@
+Normal rank
@@ Property / cites work @@
+Coherence for compact closed categories
@@ Property / cites work: Coherence for compact closed categories / rank @@
+Normal rank
@@ Property / cites work @@
+Monads on symmetric monoidal closed categories
@@ Property / cites work: Monads on symmetric monoidal closed categories / rank @@
+Normal rank
@@ Property / cites work @@
+Coherence in categories
@@ Property / cites work: Coherence in categories / rank @@
+Normal rank
@@ Property / cites work @@
+Q5639839
@@ Property / cites work: Q5639839 / rank @@
+Normal rank
@@ Property / cites work @@
+Sheaves in geometry and logic: a first introduction to topos theory
+Normal rank
@@ Property / cites work @@
+On comonadicity of the extension-of-scalars functors
+Normal rank
@@ Property / cites work @@
+Q5508993
@@ Property / cites work: Q5508993 / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.ENTCS.2008.10.012
@@ Property / DOI: 10.1016/J.ENTCS.2008.10.012 / rank @@
+Normal rank