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...

Täydet tiedot

Bibliografiset tiedot
Päätekijät: Neil Ghani, Peter Hancock, Dirk Pattinson
Aineistotyyppi: Artikkeli
Kieli:English
Julkaistu: Logical Methods in Computer Science e.V. 2009-09-01
Sarja:Logical Methods in Computer Science
Aiheet:
computer science - data structures and algorithms
computer science - logic in computer science
e.1
e.2
f.2.1
f.2.2
Linkit:https://lmcs.episciences.org/713/pdf

Samankaltaisia teoksia

Samankaltaisia teoksia