| Publication type: |
Article |
| Author: |
Neil Ghani, Christoph Lüth, Federico de Marchi |
| Title: |
Monads of Coalgebras: Rational Terms and Term Graphs |
| Volume: |
15 |
| Page(s): |
433 – 451 |
| Journal: |
Mathematical Structures in Computer Science |
| Number: |
3 |
| Year published: |
2005 |
| Abstract: |
Whilst the relationship between initial algebras and monads is This paper introduces guarded and strongly guarded monads as a unified model of a variety of different term algebras covering fundamental examples such as initial algebras, final coalgebras, rational terms and term graphs. We develop a general method for obtaining finitary guarded monads which allows us to define and prove properties of the rational and term graph monads. Furthermore, our treatment of rational equations extends the traditional approach to allow right-hand sides of equations to be infinite terms, term graphs or other such coalgebraic structures. As an application, we use these generalised rational equations to sketch part of the correctness of the the term graph implementation of functional programming languages. |
| PDF Version: |
http://www.informatik.uni-bremen.de/~cxl/papers/mscs04.pdf |
| PostScript Version: |
http://www.informatik.uni-bremen.de/~cxl/papers/mscs04.ps.gz |
| Note / Comment: |
To appear |
| Status: |
Reviewed |
| Last updated: |
27. 04. 2007 |
