Recommendations
Cites work
- scientific article; zbMATH DE number 1705158 (Why is no real title available?)
- scientific article; zbMATH DE number 4179333 (Why is no real title available?)
- scientific article; zbMATH DE number 3751028 (Why is no real title available?)
- scientific article; zbMATH DE number 3751225 (Why is no real title available?)
- scientific article; zbMATH DE number 1373521 (Why is no real title available?)
- scientific article; zbMATH DE number 2087441 (Why is no real title available?)
- scientific article; zbMATH DE number 3319584 (Why is no real title available?)
- scientific article; zbMATH DE number 7649944 (Why is no real title available?)
- A theory of effects and resources: adjunction models and polarised calculi
- A unified framework for notions of algebraic theory
- Combining effects: sum and tensor
- Countable Lawvere theories and computational effects
- Discrete Lawvere theories and computational effects
- Enriched algebraic theories and monads for a system of arities
- Freyd categories are enriched Lawvere theories
- Gabriel–Ulmer duality and Lawvere theories enriched over a general base
- Generic trace semantics and graded monads
- Generic weakest precondition semantics from monads enriched with order
- Graded algebraic theories
- Graded monads and rings of polynomials
- Handling algebraic effects
- Lawvere theories enriched over a general base
- Monads with arities and their associated theories
- On closed categories of functors
- Parametric effect monads and semantics of effect systems
- The category theoretic understanding of universal algebra: Lawvere theories and monads
- The formal theory of monads
- Towards a formal theory of graded monads
Cited in
(5)
This page was built for publication: Graded algebraic theories
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2200837)
