Continuous functions on final coalgebras, in (2009)

by Neil Ghani, Peter Hancock, Dirk Pattinson
Venue:Proceedings of the 25th Conference on Mathematical Foundations of Programming Semantics, MFPS 2009, Electronic Notes in Theoretical Computer Science 249