Pages that link to "Item:Q5891582"
From MaRDI portal
The following pages link to Semantics of Higher-Order Recursion Schemes (Q5891582):
Displayed 9 items.
- On second-order iterative monads (Q639639) (← links)
- On algebras with effectful iteration (Q1798792) (← links)
- A new foundation for finitary corecursion and iterative algebras (Q2304521) (← links)
- A New Foundation for Finitary Corecursion (Q2811335) (← links)
- Recursive Program Schemes and Context-Free Monads (Q2919447) (← links)
- Elgot theories: a new perspective on the equational properties of iteration (Q3005993) (← links)
- Iterative reflections of monads (Q3564343) (← links)
- (Q4683859) (← links)
- (Q5892515) (redirect page) (← links)