Pages that link to "Item:Q2842813"
From MaRDI portal
The following pages link to On Rational Monads and Free Iterative Theories (Q2842813):
Displaying 5 items.
- Monads for behaviour (Q265824) (← links)
- The coinductive resumption monad (Q283770) (← links)
- Explicit substitutions and higher-order syntax (Q853744) (← links)
- Completely iterative algebras and completely iterative monads (Q1767976) (← links)
- Terminal coalgebras and free iterative theories (Q2500475) (← links)
