Representations of Stream Processors Using Nested Fixed Points

Neil Ghani, Peter Hancock, Dirk Pattinson

We define representations of continuous functions on infinite streams of discrete values, both in the case of discrete-valued functions, and in the case of stream-valued functions.…