Christoph Schubert. Terminal Coalgebras for Measure-Polynomial Functors. In Jianer Chen, S. Barry Cooper, editors, Theory and Applications of Models of Computation, 6th Annual Conference, TAMC 2009, Changsha, China, May 18-22, 2009. Proceedings. Volume 5532 of Lecture Notes in Computer Science, pages 325-334, Springer, 2009. [doi]
Abstract is missing.