Iterative algebras at work
From MaRDI portal
Publication:3419788
DOI10.1017/S0960129506005706zbMath1112.18005OpenAlexW2053682188MaRDI QIDQ3419788
Stefan Milius, Jiří Adámek, Jiří Velebil
Publication date: 7 February 2007
Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1017/s0960129506005706
Specification and verification (program logics, model checking, etc.) (68Q60) Theories (e.g., algebraic theories), structure, and semantics (18C10) Categories of algebras (08C05)
Related Items (31)
Rational operational models ⋮ Deconfined Global Types for Asynchronous Sessions ⋮ Complete Iterativity for Algebras with Effects ⋮ Unnamed Item ⋮ Regular behaviours with names: on rational fixpoints of endofunctors on nominal sets ⋮ Recursive Program Schemes and Context-Free Monads ⋮ How iterative reflections of monads are constructed ⋮ Coalgebraic constructions of canonical nondeterministic automata ⋮ Equational properties of iterative monads ⋮ Partially Typed Multiparty Sessions ⋮ Base modules for parametrized iterativity ⋮ On second-order iterative monads ⋮ Generalized Eilenberg Theorem ⋮ Unnamed Item ⋮ Generalizing Inference Systems by Coaxioms ⋮ Unnamed Item ⋮ Flexible coinductive logic programming ⋮ Elgot theories: a new perspective on the equational properties of iteration ⋮ Algebras with parametrized iterativity ⋮ Iterative reflections of monads ⋮ Unnamed Item ⋮ Multi-Linear Iterative K-Σ-Semialgebras ⋮ Fixed Points of Functors - A Short Abstract ⋮ A Description of Iterative Reflections of Monads (Extended Abstract) ⋮ Semantics of Higher-Order Recursion Schemes ⋮ On algebras with effectful iteration ⋮ Bases for parametrized iterativity ⋮ Elgot Theories: A New Perspective of Iteration Theories (Extended Abstract) ⋮ A New Foundation for Finitary Corecursion ⋮ A new foundation for finitary corecursion and iterative algebras ⋮ Final coalgebras in accessible categories
This page was built for publication: Iterative algebras at work
