Pages that link to "Item:Q2451246"
From MaRDI portal
The following pages link to Graded monads and rings of polynomials (Q2451246):
Displaying 6 items.
- Graded algebraic theories (Q2200837) (← links)
- Graded Hoare logic and its categorical semantics (Q2233460) (← links)
- Towards a Formal Theory of Graded Monads (Q2811361) (← links)
- (Q5875398) (← links)
- Divergences on monads for relational program logics (Q6149935) (← links)
- Canonical Gradings of Monads (Q6150137) (← links)
