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)

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

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)