Recommendations
Cites work
Cited in
(15)- Unifying graded and parameterised monads
- The free A-ring is a graded A-ring
- When programs have to watch paint dry
- Divergences on monads for relational program logics
- Canonical Gradings of Monads
- Graded Hoare logic and its categorical semantics
- scientific article; zbMATH DE number 5225729 (Why is no real title available?)
- Flexibly graded monads and graded algebras
- Towards a formal theory of graded monads
- Graded algebraic theories
- scientific article; zbMATH DE number 7649944 (Why is no real title available?)
- Graded monads and behavioural equivalence games
- Polynomial monads and delooping of mapping spaces
- A type system with subtyping for WebAssembly's stack polymorphism
- Graded semantics and graded logics for Eilenberg-Moore coalgebras
This page was built for publication: Graded monads and rings of polynomials
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2451246)