D.: Continuous functions on final coalgebras (2006)

by N Ghani, P Hancock, Pattinson
Venue:Electron. Notes Theor. Comput. Sci