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

equation systemiterative algebra\(F\)-algebramonadic algebraiteration algebraElgot algebracompletely metrizable algebraCPO-enrichable 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

(10)

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