Relating Two Approaches to Coinductive Solution of Recursive Equations (2004)

by Bart Jacobs
Venue:Milius (Eds.), Proceedings of the 7th Workshop on Coalgebraic Methods in Computer Science, CMCS’04 (Barcelona, March 2004), Electron. Notes in Theoret. Comput. Sci