On Algebras with Iteration

DOI10.1093/LOGCOM/EXN035zbMath1157.18004OpenAlexW2082187842MaRDI QIDQ3549320

Jiří Adámek, Stefan Milius, Stephen L. Bloom

Publication date: 22 December 2008

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/e2967d72c88a0b6157349473074fdc1aa702150c

zbMATH Keywords

monadic algebraequation systemiterative algebra\(F\)-algebraiteration algebraElgot algebracompletely metrizable algebraCPO-enrichable algebra

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Abstract data types; algebraic specification (68Q65) Categorical semantics of formal languages (18C50)

This page was built for publication: On Algebras with Iteration