The following pages link to On second-order iterative monads (Q639639):
Displaying 9 items.
- Equational properties of iterative monads (Q618163) (← links)
- Some remarks on finitary and iterative monads (Q1417765) (← 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)
- Iterative reflections of monads (Q3564343) (← links)
- Generalizing Substitution (Q4460688) (← links)
- (Q4683859) (← links)
- Strongly Normalising Cyclic Data Computation by Iteration Categories of Second-Order Algebraic Theories. (Q5369486) (← links)