Graded algebraic theories (Q2200837): Difference between revisions

@@ Property / OpenAlex ID @@
+W3023488313
@@ Property / OpenAlex ID: W3023488313 / rank @@
+Normal rank
@@ Property / cites work @@
+Monads with arities and their associated theories
@@ Property / cites work: Monads with arities and their associated theories / rank @@
+Normal rank
@@ Property / cites work @@
+A theory of effects and resources: adjunction models and polarised calculi
+Normal rank
@@ Property / cites work @@
+On closed categories of functors
@@ Property / cites work: On closed categories of functors / rank @@
+Normal rank
@@ Property / cites work @@
+Q5875398
@@ Property / cites work: Q5875398 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5599205
@@ Property / cites work: Q5599205 / rank @@
+Normal rank
@@ Property / cites work @@
+A unified framework for notions of algebraic theory
+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 @@
+Generic weakest precondition semantics from monads enriched with order
+Normal rank
@@ Property / cites work @@
+Combining effects: sum and tensor
@@ Property / cites work: Combining effects: sum and tensor / rank @@
+Normal rank
@@ Property / cites work @@
+Discrete Lawvere theories and computational effects
+Normal rank
@@ Property / cites work @@
+The Category Theoretic Understanding of Universal Algebra: Lawvere Theories and Monads
+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 @@
+Gabriel–Ulmer duality and Lawvere theories enriched over a general base
+Normal rank
@@ Property / cites work @@
+Enriched algebraic theories and monads for a system of arities
+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 @@
+Lawvere theories enriched over a general base
@@ Property / cites work: Lawvere theories enriched over a general base / rank @@
+Normal rank
@@ Property / cites work @@
+Q2771052
@@ Property / cites work: Q2771052 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4738236
@@ Property / cites work: Q4738236 / rank @@
+Normal rank
@@ Property / cites work @@
+Handling Algebraic Effects
@@ Property / cites work: Handling Algebraic Effects / rank @@
+Normal rank
@@ Property / cites work @@
+Q4704209
@@ Property / cites work: Q4704209 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2863882
@@ Property / cites work: Q2863882 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3934450
@@ Property / cites work: Q3934450 / 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 @@
+Freyd categories are enriched Lawvere theories
@@ Property / cites work: Freyd categories are enriched Lawvere theories / rank @@
+Normal rank
@@ Property / cites work @@
+The formal theory of monads
@@ Property / cites work: The formal theory of monads / rank @@
+Normal rank