Pages that link to "Item:Q618163"
From MaRDI portal
The following pages link to Equational properties of iterative monads (Q618163):
Displaying 10 items.
- 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)
- (Q4585073) (← links)
- (Q4968384) (← links)
- Unguarded recursion on coinductive resumptions (Q5971399) (← links)