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

Cur síos iomlán

Sonraí bibleagrafaíochta
Príomhchruthaitheoirí: Neil Ghani, Peter Hancock, Dirk Pattinson
Formáid: Alt
Teanga:English
Foilsithe / Cruthaithe: Logical Methods in Computer Science e.V. 2009-09-01
Sraith:Logical Methods in Computer Science
Ábhair:
computer science - data structures and algorithms
computer science - logic in computer science
e.1
e.2
f.2.1
f.2.2
Rochtain ar líne:https://lmcs.episciences.org/713/pdf

Ar líne

https://lmcs.episciences.org/713/pdf

Míreanna comhchosúla