On Algebras with Iteration

DOI10.1093/LOGCOM/EXN035zbMATH Open1157.18004OpenAlexW2082187842MaRDI QIDQ3549320FDOQ3549320

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

Recommendations

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

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)

Cited In (10)

• Title not available (Why is that?)
• On functors preserving coproducts and algebras with iterativity
• Iterative algebras
• Title not available (Why is that?)
• Complete iterativity for algebras with effects
• Title not available (Why is that?)
• 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)