Convexity via Weak Distributive Laws (Q5060194): Difference between revisions

@@ Property / cites work @@
+Relational algebras
@@ Property / cites work: Relational algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Q4331824
@@ Property / cites work: Q4331824 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5579535
@@ Property / cites work: Q5579535 / rank @@
+Normal rank
@@ Property / cites work @@
+Sound up-to techniques and Complete abstract domains
+Normal rank
@@ Property / cites work @@
+Generic functional programming with types and relations
+Normal rank
@@ Property / cites work @@
+The weak theory of monads
@@ Property / cites work: The weak theory of monads / rank @@
+Normal rank
@@ Property / cites work @@
+Coinduction up-to in a fibrational setting
@@ Property / cites work: Coinduction up-to in a fibrational setting / rank @@
+Normal rank
@@ Property / cites work @@
+Q4535031
@@ Property / cites work: Q4535031 / rank @@
+Normal rank
@@ Property / cites work @@
+Combining semilattices and semimodules
@@ Property / cites work: Combining semilattices and semimodules / rank @@
+Normal rank
@@ Property / cites work @@
+Distributive laws for Lawvere theories
@@ Property / cites work: Distributive laws for Lawvere theories / rank @@
+Normal rank
@@ Property / cites work @@
+The monads of classical algebra are seldom weakly Cartesian
+Normal rank
@@ Property / cites work @@
+Handbook of weighted automata
@@ Property / cites work: Handbook of weighted automata / rank @@
+Normal rank
@@ Property / cites work @@
+The Vietoris monad and weak distributive laws
@@ Property / cites work: The Vietoris monad and weak distributive laws / rank @@
+Normal rank
@@ Property / cites work @@
+Combining probabilistic and non-deterministic choice via weak distributive laws
+Normal rank
@@ Property / cites work @@
+Convex Polytopes
@@ Property / cites work: Convex Polytopes / rank @@
+Normal rank
@@ Property / cites work @@
+Monoid-labeled transition systems
@@ Property / cites work: Monoid-labeled transition systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q2863893
@@ Property / cites work: Q2863893 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2863881
@@ Property / cites work: Q2863881 / rank @@
+Normal rank
@@ Property / cites work @@
+Combining effects: sum and tensor
@@ Property / cites work: Combining effects: sum and tensor / rank @@
+Normal rank
@@ Property / cites work @@
+Coalgebraic Trace Semantics for Combined Possibilitistic and Probabilistic Systems
+Normal rank
@@ Property / cites work @@
+Bialgebras for structural operational semantics: an introduction
+Normal rank
@@ Property / cites work @@
+Coalgebraic Trace Semantics via Forgetful Logics
@@ Property / cites work: Coalgebraic Trace Semantics via Forgetful Logics / 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 @@
+Relation lifting, a survey
@@ Property / cites work: Relation lifting, a survey / rank @@
+Normal rank
@@ Property / cites work @@
+Q3156500
@@ Property / cites work: Q3156500 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4123496
@@ Property / cites work: Q4123496 / rank @@
+Normal rank
@@ Property / cites work @@
+Upper-Expectation Bisimilarity and Łukasiewicz μ-Calculus
+Normal rank
@@ Property / cites work @@
+Q3432078
@@ Property / cites work: Q3432078 / 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 @@
+Q2847403
@@ Property / cites work: Q2847403 / rank @@
+Normal rank
@@ Property / cites work @@
+A tutorial on coinductive stream calculus and signal flow graphs
+Normal rank
@@ Property / cites work @@
+Q3646425
@@ Property / cites work: Q3646425 / rank @@
+Normal rank
@@ Property / cites work @@
+Convexity via Weak Distributive Laws
@@ Property / cites work: Convexity via Weak Distributive Laws / rank @@
+Normal rank
@@ Property / cites work @@
+Distributing probability over non-determinism
@@ Property / cites work: Distributing probability over non-determinism / rank @@
+Normal rank