Monad compositions II: Kleisli strength (Q3520147): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / 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 @@
+Coequalizers and free triples
@@ Property / cites work: Coequalizers and free triples / 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 @@
+Taut Monads, Dynamic Logic and Determinism
@@ Property / cites work: Taut Monads, Dynamic Logic and Determinism / rank @@
+Normal rank
@@ Property / cites work @@
+A basic distributive law
@@ Property / cites work: A basic distributive law / rank @@
+Normal rank