The following pages link to On Iteratable Endofunctors (Q2842827):
Displaying 5 items.
- Explicit substitutions and higher-order syntax (Q853744) (← links)
- The category-theoretic solution of recursive program schemes (Q860876) (← links)
- Infinite trees and completely iterative theories: A coalgebraic view (Q1399957) (← links)
- Completely iterative algebras and completely iterative monads (Q1767976) (← links)
- Distributive laws for the coinductive solution of recursive equations (Q2495644) (← links)
