Monads of coalgebras: rational terms and term graphs

DOI10.1017/S0960129505004743zbMath1169.18303OpenAlexW2168787391MaRDI 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

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15)

Related Items (6)

Recursive Program Schemes and Context-Free Monads ⋮ On second-order iterative monads ⋮ Unnamed Item ⋮ A New Foundation for Finitary Corecursion ⋮ A new foundation for finitary corecursion and iterative algebras ⋮ The algebra of recursive graph transformation language UnCAL: complete axiomatisation and iteration categorical semantics

This page was built for publication: Monads of coalgebras: rational terms and term graphs