Iterative algebras at work
From MaRDI portal
Recommendations
Cited in
(50)- Bases for parametrized iterativity
- Infinite trees and completely iterative theories: A coalgebraic view
- Completely iterative algebras and completely iterative monads
- On algebras with effectful iteration
- A new foundation for finitary corecursion and iterative algebras
- Base modules for parametrized iterativity
- Algebras with parametrized iterativity
- Rational operational models
- Elgot theories: a new perspective of iteration theories (extended abstract)
- A new foundation for finitary corecursion. The locally finite fixpoint and its properties
- On rational monads and free iterative theories
- On iteratable endofunctors
- On a description of terminal coalgebras and iterative theories
- From iterative algebras to iterative theories (extended abstract)
- Iterative algebras for a base
- Complete iterativity for algebras with effects
- Recursive program schemes and context-free monads
- Generalizing inference systems by coaxioms
- Elgot theories: a new perspective on the equational properties of iteration
- Final coalgebras in accessible categories
- scientific article; zbMATH DE number 7037626 (Why is no real title available?)
- Regular behaviours with names: on rational fixpoints of endofunctors on nominal sets
- What Are Iteration Theories?
- Iterative reflections of monads
- A Description of Iterative Reflections of Monads (Extended Abstract)
- How iterative reflections of monads are constructed
- scientific article; zbMATH DE number 139634 (Why is no real title available?)
- scientific article; zbMATH DE number 718638 (Why is no real title available?)
- Generalized Eilenberg theorem. Varieties of languages in a category
- Proper functors and fixed points for finite behaviour
- A coalgebraic view of infinite trees and iteration
- Foundations of regular coinduction
- Flexible coinductive logic programming
- scientific article; zbMATH DE number 6740664 (Why is no real title available?)
- Multi-linear iterative \(K\)-\(\Sigma\)-semialgebras.
- Fixed Points of Functors - A Short Abstract
- Deconfined Global Types for Asynchronous Sessions
- Constructing initial algebras using inflationary iteration
- Equational properties of iterative monads
- Partially Typed Multiparty Sessions
- On second-order iterative monads
- Partially typed multiparty sessions with internal delegation
- Relative fixed points of functors
- Initial algebras unchained -- a novel initial algebra construction formalized in Agda
- A completeness theorem for probabilistic regular expressions
- Open compliance in multiparty sessions with partial typing
- Algebras of iteration theories
- Iterative factor algebras and induced metrics
- Extensions of iterative congruences of free iterative algebras
- Coalgebraic constructions of canonical nondeterministic automata
This page was built for publication: Iterative algebras at work
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3419788)
