The following pages link to Iterative algebras at work (Q3419788):
Displaying 32 items.
- Rational operational models (Q265819) (← links)
- Regular behaviours with names: on rational fixpoints of endofunctors on nominal sets (Q328657) (← links)
- How iterative reflections of monads are constructed (Q384934) (← links)
- Equational properties of iterative monads (Q618163) (← links)
- On second-order iterative monads (Q639639) (← links)
- Coalgebraic constructions of canonical nondeterministic automata (Q890382) (← links)
- Bases for parametrized iterativity (Q1004388) (← links)
- On algebras with effectful iteration (Q1798792) (← links)
- A new foundation for finitary corecursion and iterative algebras (Q2304521) (← links)
- Base modules for parametrized iterativity (Q2435311) (← links)
- Algebras with parametrized iterativity (Q2464938) (← links)
- Elgot theories: a new perspective of iteration theories (extended abstract) (Q2805168) (← links)
- A New Foundation for Finitary Corecursion (Q2811335) (← links)
- Complete Iterativity for Algebras with Effects (Q2888475) (← links)
- Recursive program schemes and context-free monads (Q2919447) (← links)
- Generalizing Inference Systems by Coaxioms (Q2988632) (← links)
- Elgot theories: a new perspective on the equational properties of iteration (Q3005993) (← links)
- Final coalgebras in accessible categories (Q3094168) (← links)
- (Q3121528) (← links)
- Iterative reflections of monads (Q3564343) (← links)
- A Description of Iterative Reflections of Monads (Extended Abstract) (Q3617727) (← links)
- Generalized Eilenberg Theorem (Q4617980) (← links)
- (Q4683859) (← links)
- (Q5028421) (← links)
- Flexible coinductive logic programming (Q5140017) (← links)
- (Q5274901) (← links)
- Multi-Linear Iterative K-Σ-Semialgebras (Q5739356) (← links)
- Fixed Points of Functors - A Short Abstract (Q5739445) (← links)
- Deconfined Global Types for Asynchronous Sessions (Q5883749) (← links)
- Semantics of Higher-Order Recursion Schemes (Q5891582) (← links)
- Partially Typed Multiparty Sessions (Q6197376) (← links)
- Partially typed multiparty sessions with internal delegation (Q6643472) (← links)
