Monads of coalgebras: rational terms and term graphs
From MaRDI portal
Publication:5462662
DOI10.1017/S0960129505004743zbMath1169.18303MaRDI QIDQ5462662
Federico De Marchi, Christoph Lüth, Neil Ghani
Publication date: 3 August 2005
Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1017/s0960129505004743
68Q65: Abstract data types; algebraic specification
18C15: Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads
Related Items
Unnamed Item, On second-order iterative monads, A new foundation for finitary corecursion and iterative algebras, A New Foundation for Finitary Corecursion, Recursive Program Schemes and Context-Free Monads, The algebra of recursive graph transformation language UnCAL: complete axiomatisation and iteration categorical semantics