From iterative algebras to iterative theories (extended abstract)

MaRDI QIDQ2847804zbMATH OpenFDO

Authors Jiří Adámek, Stefan Milius

Publication date 11 September 2013

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

Mathematics Subject Classification ID

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

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

Cited in

(12)

• scientific article; zbMATH DE number 4060752 (Why is no real title available?)
• scientific article; zbMATH DE number 139634 (Why is no real title available?)
• 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
• scientific article; zbMATH DE number 1696553 (Why is no real title available?)
• Algebras of iteration theories
• Iterative algebras at work
• 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)