Pages that link to "Item:Q2451246"
From MaRDI portal
The following pages link to Graded monads and rings of polynomials (Q2451246):
Displaying 13 items.
- The free \(A\)-ring is a graded \(A\)-ring (Q687881) (← links)
- Polynomial monads and delooping of mapping spaces (Q2180250) (← links)
- Graded algebraic theories (Q2200837) (← links)
- Graded Hoare logic and its categorical semantics (Q2233460) (← links)
- Towards a Formal Theory of Graded Monads (Q2811361) (← links)
- (Q5020617) (← links)
- (Q5435192) (← links)
- (Q5875398) (← links)
- Flexibly graded monads and graded algebras (Q6109207) (← links)
- Divergences on monads for relational program logics (Q6149935) (← links)
- Canonical Gradings of Monads (Q6150137) (← links)
- Graded monads and behavioural equivalence games (Q6649498) (← links)
- Graded semantics and graded logics for Eilenberg-Moore coalgebras (Q6666776) (← links)