Relating Two Approaches to Coinductive Solution of Recursive Equations
Bart Jacobs · Electronic Notes in Theoretical Computer Science · 2004
This paper shows that the approach of [P. Aczel, J. Adámek, S. Milius, and J. Velebil, Infinite trees and completely iterative theories: a coalgebraic view, Theor. Comp. Sci., 300 (1-3):1–45, 2003; L.S. Moss, Parametric corecursion, Theor. Comp. Sci., 260(1-2):139–163, 2001] for obtaining coinductive solutions of equations on infinite terms is a special case of a more general recent approach of [F. Bartels. On generalised coinduction and probabilistic specification formats. Distributive laws in coalgebraic modelling. PhD thesis, Free Univ. Amsterdam, 2004. http://homepages.cwi.nl/~bartels/] using distributive laws.