A Coalgebraic View of Infinite Trees and Iteration
From MaRDI portal
Publication:4917030
DOI10.1016/S1571-0661(04)80900-9zbMath1260.68235MaRDI QIDQ4917030
Jiří Adámek, Jiří Velebil, Peter Aczel
Publication date: 26 April 2013
Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)
68Q65: Abstract data types; algebraic specification
18C15: Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads
Related Items
Solving Algebraic Equations Using Coalgebra, μ-Bicomplete Categories and Parity Games, Equational properties of iterative monads, On second-order iterative monads, The category-theoretic solution of recursive program schemes, Infinite trees and completely iterative theories: A coalgebraic view, Adding recursive constructs to bialgebraic semantics, Distributive laws for the coinductive solution of recursive equations, Recursive Program Schemes and Context-Free Monads, From Grammars and Automata to Algebras and Coalgebras