Elgot Algebras
From MaRDI portal
Publication:5310675
DOI10.2168/LMCS-2(5:4)2006zbMath1127.68058arXivcs/0609040MaRDI QIDQ5310675
Jiří Velebil, Jiří Adámek, Stefan Milius
Publication date: 11 October 2007
Published in: Logical Methods in Computer Science (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/cs/0609040
Semantics in the theory of computing (68Q55) Abstract data types; algebraic specification (68Q65) Theories (e.g., algebraic theories), structure, and semantics (18C10)
Related Items (16)
Monads for behaviour ⋮ The coinductive resumption monad ⋮ Unnamed Item ⋮ Well-founded coalgebras, revisited ⋮ Unnamed Item ⋮ On functors preserving coproducts and algebras with iterativity ⋮ Corrigendum to: ``The category theoretic solution of recursive program schemes [Theoret. Comput. Sci. 366 (2006) 3-59] ⋮ Iteration and labelled iteration ⋮ Complete Elgot monads and coalgebraic resumptions ⋮ Optimal Coin Flipping ⋮ A Description of Iterative Reflections of Monads (Extended Abstract) ⋮ On algebras with effectful iteration ⋮ Elgot Theories: A New Perspective of Iteration Theories (Extended Abstract) ⋮ Unnamed Item ⋮ A Mezei-Wright theorem for categorical algebras ⋮ Corecursive algebras in nature
This page was built for publication: Elgot Algebras
