Iterative algebras
From MaRDI portal
Publication:789385
DOI10.1016/0304-3975(83)90014-2zbMath0533.03014OpenAlexW4210428601WikidataQ64357043 ScholiaQ64357043MaRDI QIDQ789385
Publication date: 1983
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0304-3975(83)90014-2
Formal languages and automata (68Q45) Theories (e.g., algebraic theories), structure, and semantics (18C10) General topics in the theory of software (68N01) Equational classes, universal algebra in model theory (03C05) Categories of algebras (08C05)
Related Items (26)
Complete Iterativity for Algebras with Effects ⋮ Equivalences and transformations of regular systems - applications to recursive program schemes and grammars ⋮ Algebraic solutions to recursion schemes ⋮ Obituary: Evelyn M. Nelson ⋮ How iterative reflections of monads are constructed ⋮ Solving polynomial fixed point equations ⋮ Equational properties of iterative monads ⋮ On the equational definition of the least prefixed point. ⋮ Base modules for parametrized iterativity ⋮ Unnamed Item ⋮ Completions of \(\mu \)-algebras ⋮ On functors preserving coproducts and algebras with iterativity ⋮ Elgot theories: a new perspective on the equational properties of iteration ⋮ Algebras with parametrized iterativity ⋮ Iterative reflections of monads ⋮ Multi-Linear Iterative K-Σ-Semialgebras ⋮ Completely iterative algebras and completely iterative monads ⋮ Recursive coalgebras from comonads ⋮ A Description of Iterative Reflections of Monads (Extended Abstract) ⋮ On algebras with effectful iteration ⋮ Bases for parametrized iterativity ⋮ Equational logic of circular data type specification ⋮ Group axioms for iteration ⋮ Iterative factor algebras and induced metrics ⋮ Closure functions and general iterates as reflectors ⋮ Unnamed Item
This page was built for publication: Iterative algebras
