Base modules for parametrized iterativity
From MaRDI portal
Publication:2435311
DOI10.1016/j.tcs.2013.12.019zbMath1282.68168MaRDI QIDQ2435311
Jiří Adámek, Jiří Velebil, Stefan Milius
Publication date: 4 February 2014
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.tcs.2013.12.019
68Q70: Algebraic theory of languages and automata
68Q65: Abstract data types; algebraic specification
18C10: Theories (e.g., algebraic theories), structure, and semantics
18C20: Eilenberg-Moore and Kleisli constructions for monads
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Iterative algebras
- Bases for parametrized iterativity
- Unique fixed points vs. least fixed points
- Regular trees and the free iterative theory
- The existence and construction of free iterative theories
- On the algebraic structure of rooted trees
- Infinite trees and completely iterative theories: A coalgebraic view
- Algebras with parametrized iterativity
- Coequalizers and free triples
- Lokal präsentierbare Kategorien. (Locally presentable categories)
- On absolute colimits
- Iterative algebras at work
- Generalizing Substitution