From iterative algebras to iterative theories (extended abstract)

zbMATH Open1271.68153MaRDI QIDQ2847804FDOQ2847804

Authors: Jiří Adámek, Stefan Milius 

Publication date: 11 September 2013

Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066104051679

Recommendations

• Iterative algebras at work
• Iterative factor algebras and induced metrics
• Completely iterative algebras and completely iterative monads
• Free iterative theories: a coalgebraic view
• Infinite trees and completely iterative theories: A coalgebraic view

Mathematics Subject Classification ID

Algebraic theory of languages and automata (68Q70) Theories (e.g., algebraic theories), structure, and semantics (18C10)

Cited In (12)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Completely iterative algebras and completely iterative monads
• Iterating conditionals and symmetric Stone algebras
• Recursive coalgebras from comonads
• On rational monads and free iterative theories
• On a description of terminal coalgebras and iterative theories
• Title not available (Why is that?)
• Iterative algebras at work
• Algebras of iteration theories
• Iterative factor algebras and induced metrics
• A coalgebraic view of infinite trees and iteration

This page was built for publication: From iterative algebras to iterative theories (extended abstract)

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