Pages that link to "Item:Q3005993"
From MaRDI portal
The following pages link to Elgot theories: a new perspective on the equational properties of iteration (Q3005993):
Displaying 9 items.
- Killing epsilons with a dagger: a coalgebraic study of systems with algebraic label structure (Q890383) (← links)
- Iteration and labelled iteration (Q1744383) (← links)
- Complete Elgot monads and coalgebraic resumptions (Q1744384) (← links)
- A new foundation for finitary corecursion and iterative algebras (Q2304521) (← links)
- A New Foundation for Finitary Corecursion (Q2811335) (← links)
- Unifying Guarded and Unguarded Iteration (Q2988389) (← links)
- (Q4585073) (← links)
- (Q4968384) (← links)
- Unguarded recursion on coinductive resumptions (Q5971399) (← links)
