Pages that link to "Item:Q860876"
From MaRDI portal
The following pages link to The category-theoretic solution of recursive program schemes (Q860876):
Displaying 11 items.
- Monads for behaviour (Q265824) (← links)
- The coinductive resumption monad (Q283770) (← links)
- On second-order iterative monads (Q639639) (← links)
- Corrigendum to: ``The category theoretic solution of recursive program schemes'' [Theoret. Comput. Sci. 366 (2006) 3-59] (Q944390) (← links)
- A Mezei-Wright theorem for categorical algebras (Q1044831) (← links)
- Categorial generalization of algebraic recursion theory (Q1898417) (← links)
- A new foundation for finitary corecursion and iterative algebras (Q2304521) (← links)
- A New Foundation for Finitary Corecursion (Q2811335) (← links)
- Complete Iterativity for Algebras with Effects (Q2888475) (← links)
- Recursive Program Schemes and Context-Free Monads (Q2919447) (← links)
- Semantics of Higher-Order Recursion Schemes (Q5891582) (← links)
