Coalgebraic Components in a Many-Sorted Microcosm (Q2888477): Difference between revisions

@@ Property / cites work @@
+Higher-dimensional algebra. III: \(n\)-categories and the algebra of opetopes
+Normal rank
@@ Property / cites work @@
+Q3682648
@@ Property / cites work: Q3682648 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3997112
@@ Property / cites work: Q3997112 / rank @@
+Normal rank
@@ Property / cites work @@
+Two-dimensional monad theory
@@ Property / cites work: Two-dimensional monad theory / rank @@
+Normal rank
@@ Property / cites work @@
+Coalgebraic Logic and Synthesis of Mealy Machines
@@ Property / cites work: Coalgebraic Logic and Synthesis of Mealy Machines / rank @@
+Normal rank
@@ Property / cites work @@
+Q4856547
@@ Property / cites work: Q4856547 / rank @@
+Normal rank
@@ Property / cites work @@
+Pseudo limits, biadjoints, and pseudo algebras: categorical foundations of conformal field theory
+Normal rank
@@ Property / cites work @@
+The Microcosm Principle and Concurrency in Coalgebra
+Normal rank
@@ Property / cites work @@
+Generalising monads to arrows
@@ Property / cites work: Generalising monads to arrows / rank @@
+Normal rank
@@ Property / cites work @@
+The Category Theoretic Understanding of Universal Algebra: Lawvere Theories and Monads
+Normal rank
@@ Property / cites work @@
+Semantics of weakening and contraction
@@ Property / cites work: Semantics of weakening and contraction / 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 @@
+Q4355684
@@ Property / cites work: Q4355684 / rank @@
+Normal rank
@@ Property / cites work @@
+Categorical semantics for arrows
@@ Property / cites work: Categorical semantics for arrows / rank @@
+Normal rank
@@ Property / cites work @@
+Q3156508
@@ Property / cites work: Q3156508 / rank @@
+Normal rank
@@ Property / cites work @@
+Modelling environments in call-by-value programming languages.
+Normal rank
@@ Property / cites work @@
+Q4215784
@@ Property / cites work: Q4215784 / 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 @@
+Q4905314
@@ Property / cites work: Q4905314 / rank @@
+Normal rank
@@ Property / cites work @@
+Comonadic Notions of Computation
@@ Property / cites work: Comonadic Notions of Computation / rank @@
+Normal rank