Skip navigation
Skip navigation

Continuous Functions on Final Coalgebras

Ghani, Neil; Hancock, Peter; Pattinson, Dirk


In a previous paper we gave a representation of, and simultaneously a way of programming with, continuous functions on streams, whether discrete-valued functions, or functions between streams. We also defined a combinator on the representations of such continuous functions that reflects composition. Streams are one of the simplest examples of non-trivial final coalgebras. Here we extend our previous results to cover the case of final coalgebras for a broader class of functors than that giving...[Show more]

CollectionsANU Research Publications
Date published: 2009
Type: Journal article
Source: Electronic Notes in Theoretical Computer Science
DOI: 10.1016/j.entcs.2009.07.081


File Description SizeFormat Image
01_Ghani_Continuous_Functions_on_Final_2009.pdf298.2 kBAdobe PDF    Request a copy

Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.

Updated:  23 August 2018/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator