Pages that link to "Item:Q4408807"
From MaRDI portal
The following pages link to Free iterative theories: a coalgebraic view (Q4408807):
Displaying 11 items.
- Rational operational models (Q265819) (← links)
- The coinductive resumption monad (Q283770) (← links)
- Explicit substitutions and higher-order syntax (Q853744) (← links)
- The category-theoretic solution of recursive program schemes (Q860876) (← links)
- Completely iterative algebras and completely iterative monads (Q1767976) (← links)
- A categorical framework for learning generalised tree automata (Q2104477) (← links)
- Algebras with parametrized iterativity (Q2464938) (← links)
- Recursive coalgebras from comonads (Q2495640) (← links)
- Terminal coalgebras and free iterative theories (Q2500475) (← links)
- Coalgebraic Monads (Q2842553) (← links)
- Coproducts of Ideal Monads (Q4659887) (← links)