Representations of Stream Processors Using Nested Fixed Points

Representations of Stream Processors Using Nested Fixed Points

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. We define also an operation on the representations of two continuous functions between streams that yields a representa...

Full beskrivning

Bibliografiska uppgifter
Huvudupphovsmän: Neil Ghani, Peter Hancock, Dirk Pattinson
Materialtyp: Artikel
Språk:English
Publicerad: Logical Methods in Computer Science e.V. 2009-09-01
Serie:Logical Methods in Computer Science
Ämnen:
computer science - data structures and algorithms
computer science - logic in computer science
e.1
e.2
f.2.1
f.2.2
Länkar:https://lmcs.episciences.org/713/pdf

Liknande verk

Liknande verk