Pages that link to "Item:Q618163"
From MaRDI portal
The following pages link to Equational properties of iterative monads (Q618163):
Displaying 15 items.
- On second-order iterative monads (Q639639) (← links)
- Killing epsilons with a dagger: a coalgebraic study of systems with algebraic label structure (Q890383) (← links)
- Complete Elgot monads and coalgebraic resumptions (Q1744384) (← links)
- A new foundation for finitary corecursion and iterative algebras (Q2304521) (← links)
- Elgot theories: a new perspective of iteration theories (extended abstract) (Q2805168) (← links)
- A New Foundation for Finitary Corecursion (Q2811335) (← links)
- Unifying Guarded and Unguarded Iteration (Q2988389) (← links)
- Elgot theories: a new perspective on the equational properties of iteration (Q3005993) (← links)
- Iterative reflections of monads (Q3564343) (← links)
- (Q4499236) (← links)
- (Q4585073) (← links)
- (Q4968384) (← links)
- Just do it (Q5176957) (← links)
- Unguarded recursion on coinductive resumptions (Q5971399) (← links)
- Shades of iteration: from Elgot to Kleene (Q6562517) (← links)