Elements of a theory of algebraic theories (Q2253182): Difference between revisions

@@ Property / DOI @@
-.1016/j.tcs.2014.03.005
@@ Property / DOI: 10.1016/j.tcs.2014.03.005 / rank @@
-Normal rank
@@ Property / arXiv ID @@
+.7642
@@ Property / arXiv ID: 1311.7642 / rank @@
+Normal rank
@@ Property / cites work @@
+Monads Need Not Be Endofunctors
@@ Property / cites work: Monads Need Not Be Endofunctors / rank @@
+Normal rank
@@ Property / cites work @@
+Introduction to bicategories
@@ Property / cites work: Introduction to bicategories / rank @@
+Normal rank
@@ Property / cites work @@
+Two-dimensional monad theory
@@ Property / cites work: Two-dimensional monad theory / rank @@
+Normal rank
@@ Property / cites work @@
+Profunctors, open maps and bisimulation
@@ Property / cites work: Profunctors, open maps and bisimulation / rank @@
+Normal rank
@@ Property / cites work @@
+Operads, Clones, and Distributive Laws
@@ Property / cites work: Operads, Clones, and Distributive Laws / rank @@
+Normal rank
@@ Property / cites work @@
+Pseudo-distributive laws
@@ Property / cites work: Pseudo-distributive laws / rank @@
+Normal rank
@@ Property / cites work @@
+The cartesian closed bicategory of generalised species of structures
+Normal rank
@@ Property / cites work @@
+Q2863881
@@ Property / cites work: Q2863881 / rank @@
+Normal rank
@@ Property / cites work @@
+The Category Theoretic Understanding of Universal Algebra: Lawvere Theories and Monads
+Normal rank
@@ Property / cites work @@
+Some reasons for generalising domain theory
@@ Property / cites work: Some reasons for generalising domain theory / rank @@
+Normal rank
@@ Property / cites work @@
+A universal property of the convolution monoidal structure
+Normal rank
@@ Property / cites work @@
+Q4100657
@@ Property / cites work: Q4100657 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3934579
@@ Property / cites work: Q3934579 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3156508
@@ Property / cites work: Q3156508 / rank @@
+Normal rank
@@ Property / cites work @@
+ARE OPERADS ALGEBRAIC THEORIES?
@@ Property / cites work: ARE OPERADS ALGEBRAIC THEORIES? / rank @@
+Normal rank
@@ Property / cites work @@
+Q4123496
@@ Property / cites work: Q4123496 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4238518
@@ Property / cites work: Q4238518 / rank @@
+Normal rank
@@ Property / cites work @@
+Notions of computation and monads
@@ Property / cites work: Notions of computation and monads / rank @@
+Normal rank
@@ Property / cites work @@
+Premonoidal categories and notions of computation
@@ Property / cites work: Premonoidal categories and notions of computation / rank @@
+Normal rank
@@ Property / cites work @@
+A Unified Category-theoretic Semantics for Binding Signatures in Substructural Logics
+Normal rank
@@ Property / cites work @@
+Q4673430
@@ Property / cites work: Q4673430 / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.TCS.2014.03.005
@@ Property / DOI: 10.1016/J.TCS.2014.03.005 / rank @@
+Normal rank