The following pages link to Algebras for Parameterised Monads (Q2888473):
Displaying 8 items.
- The superextension monad and its algebras (Q1100547) (← links)
- Algebras of Lawson monads. (Q1776039) (← links)
- Algebraic presentation of semifree monads (Q2104481) (← links)
- Dependent Types and Fibred Computational Effects (Q2811331) (← links)
- (Q4028343) (← links)
- (Q5020617) (← links)
- A representation theorem for second-order functionals (Q5371942) (← links)
- Flexibly graded monads and graded algebras (Q6109207) (← links)