Pages that link to "Item:Q5891582"
From MaRDI portal
The following pages link to Semantics of Higher-Order Recursion Schemes (Q5891582):
Displaying 14 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)
- (Q3024905) (← links)
- Iterative reflections of monads (Q3564343) (← links)
- (Q3759933) (← links)
- (Q4683859) (← links)
- (Q5475458) (← links)
- Programming Languages and Systems (Q5493373) (← links)
- (Q5892515) (redirect page) (← links)
- Primitive recursion for higher-order abstract syntax (Q5958752) (← links)