Pages that link to "Item:Q2842813"
From MaRDI portal
The following pages link to On rational monads and free iterative theories (Q2842813):
Displaying 10 items.
- Monads for behaviour (Q265824) (← links)
- The coinductive resumption monad (Q283770) (← links)
- How iterative reflections of monads are constructed (Q384934) (← links)
- On second-order iterative monads (Q639639) (← links)
- Explicit substitutions and higher-order syntax (Q853744) (← links)
- Completely iterative algebras and completely iterative monads (Q1767976) (← links)
- Algebras with parametrized iterativity (Q2464938) (← links)
- Terminal coalgebras and free iterative theories (Q2500475) (← links)
- Recursive program schemes and context-free monads (Q2919447) (← links)
- Free iterative theories: a coalgebraic view (Q4408807) (← links)