On Algebras with Iteration

DOI10.1093/LOGCOM/EXN035MaRDI QIDQ3549320zbMATH OpenOpenAlexFDO

Authors 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

\(F\)-algebracompletely metrizable algebraCPO-enrichable algebraElgot algebraequation systemiteration algebraiterative algebramonadic algebra

Mathematics Subject Classification ID

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

Recommendations

• Iterative algebras: how iterative are they?
• How iterative are iterative algebras?
• Elgot algebras (extended abstract)
• Iterative algebras
• ITERATION ALGEBRAS

Cited in

(11)

• A Mezei-Wright theorem for categorical algebras
• On functors preserving coproducts and algebras with iterativity
• Approximate coalgebra homomorphisms and approximate solutions
• How iterative are iterative algebras?
• Complete iterativity for algebras with effects
• Fixed Points as Equations and Solutions
• scientific article; zbMATH DE number 4060752 (Why is no real title available?)
• scientific article; zbMATH DE number 1512703 (Why is no real title available?)
• Iterative algebras: how iterative are they?
• scientific article; zbMATH DE number 7774231 (Why is no real title available?)
• Iterative algebras

This page was built for publication: On Algebras with Iteration

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3549320)