Pages that link to "Item:Q4408807"
From MaRDI portal
The following pages link to Free iterative theories: a coalgebraic view (Q4408807):
Displaying 20 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)
- A new foundation for finitary corecursion and iterative algebras (Q2304521) (← 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)
- On rational monads and free iterative theories (Q2842813) (← links)
- On iteratable endofunctors (Q2842827) (← links)
- From iterative algebras to iterative theories (extended abstract) (Q2847804) (← links)
- Iterative algebras for a base (Q2849883) (← links)
- Solving Algebraic Equations Using Coalgebra (Q4460687) (← links)
- Generalizing Substitution (Q4460688) (← links)
- Coproducts of Ideal Monads (Q4659887) (← links)
- Finiteness and rational sequences, constructively (Q5372009) (← links)
- Checking equivalence of corecursive streams: an inductive procedure (Q6589842) (← links)