Q5028467 (Q5028467): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q5579535
@@ Property / cites work: Q5579535 / rank @@
+Normal rank
@@ Property / cites work @@
+Presenting Distributive Laws
@@ Property / cites work: Presenting Distributive Laws / rank @@
+Normal rank
@@ Property / cites work @@
+Iterated distributive laws
@@ Property / cites work: Iterated distributive laws / rank @@
+Normal rank
@@ Property / cites work @@
+Layer by layer -- combining monads
@@ Property / cites work: Layer by layer -- combining monads / 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 @@
+Convexity, Duality and Effects
@@ Property / cites work: Convexity, Duality and Effects / 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 @@
+Iterated covariant powerset is not a monad
@@ Property / cites work: Iterated covariant powerset is not a monad / rank @@
+Normal rank
@@ Property / cites work @@
+Q3156500
@@ Property / cites work: Q3156500 / rank @@
+Normal rank
@@ Property / cites work @@
+FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
@@ Property / cites work: FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES / rank @@
+Normal rank
@@ Property / cites work @@
+Q5599205
@@ Property / cites work: Q5599205 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4499306
@@ Property / cites work: Q4499306 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4123496
@@ Property / cites work: Q4123496 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3746866
@@ Property / cites work: Q3746866 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3432078
@@ Property / cites work: Q3432078 / rank @@
+Normal rank
@@ Property / cites work @@
+Monad compositions II: Kleisli strength
@@ Property / cites work: Monad compositions II: Kleisli strength / rank @@
+Normal rank
@@ Property / cites work @@
+Q2767981
@@ Property / cites work: Q2767981 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4738236
@@ Property / cites work: Q4738236 / rank @@
+Normal rank
@@ Property / cites work @@
+Backtracking with cut via a distributive law and left-zero monoids
+Normal rank
@@ Property / cites work @@
+Postulates for the barycentric calculus
@@ Property / cites work: Postulates for the barycentric calculus / rank @@
+Normal rank
@@ Property / cites work @@
+A divertimento on MonadPlus and nondeterminism
@@ Property / cites work: A divertimento on MonadPlus and nondeterminism / rank @@
+Normal rank
@@ Property / cites work @@
+Distributing probability over non-determinism
@@ Property / cites work: Distributing probability over non-determinism / rank @@
+Normal rank