Flexibly graded monads and graded algebras (Q6109207): Difference between revisions

@@ Property / cites work @@
+Monads need not be endofunctors
@@ Property / cites work: Monads need not be endofunctors / rank @@
+Normal rank
@@ Property / cites work @@
+Q5875398
@@ Property / cites work: Q5875398 / rank @@
+Normal rank
@@ Property / cites work @@
+A Probability Monad as the Colimit of Spaces of Finite Samples
+Normal rank
@@ Property / cites work @@
+Towards a Formal Theory of Graded Monads
@@ Property / cites work: Towards a Formal Theory of Graded Monads / rank @@
+Normal rank
@@ Property / cites work @@
+Graded Hoare logic and its categorical semantics
@@ Property / cites work: Graded Hoare logic and its categorical semantics / rank @@
+Normal rank
@@ Property / cites work @@
+An embedding theorem for tangent categories
@@ Property / cites work: An embedding theorem for tangent categories / rank @@
+Normal rank
@@ Property / cites work @@
+Trace Semantics via Generic Observations
@@ Property / cites work: Trace Semantics via Generic Observations / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic structure for bicategory enriched categories
+Normal rank
@@ Property / cites work @@
+Parametric effect monads and semantics of effect systems
+Normal rank
@@ Property / cites work @@
+Q3934579
@@ Property / cites work: Q3934579 / rank @@
+Normal rank
@@ Property / cites work @@
+Graded algebraic theories
@@ Property / cites work: Graded algebraic theories / rank @@
+Normal rank
@@ Property / cites work @@
+Distributive laws for relative monads
@@ Property / cites work: Distributive laws for relative monads / rank @@
+Normal rank
@@ Property / cites work @@
+Q3552043
@@ Property / cites work: Q3552043 / rank @@
+Normal rank
@@ Property / cites work @@
+Generic Trace Semantics and Graded Monads.
@@ Property / cites work: Generic Trace Semantics and Graded Monads. / rank @@
+Normal rank
@@ Property / cites work @@
+Q3202991
@@ Property / cites work: Q3202991 / 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 @@
+Effect Systems Revisited—Control-Flow Algebra and Semantics
+Normal rank
@@ Property / cites work @@
+Algebraic operations and generic effects
@@ Property / cites work: Algebraic operations and generic effects / rank @@
+Normal rank
@@ Property / cites work @@
+Graded monads and rings of polynomials
@@ Property / cites work: Graded monads and rings of polynomials / rank @@
+Normal rank
@@ Property / cites work @@
+An Algebraic Presentation of Predicate Logic
@@ Property / cites work: An Algebraic Presentation of Predicate Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q5665322
@@ Property / cites work: Q5665322 / rank @@
+Normal rank
@@ Property / cites work @@
+Properties of dense and relative adjoint functors
@@ Property / cites work: Properties of dense and relative adjoint functors / rank @@
+Normal rank