22 citations · 22 across the 2 of their papers we have counts for
1 paper · 1 filter
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.…