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

Fuld beskrivelse

Bibliografiske detaljer
Main Authors: Neil Ghani, Peter Hancock, Dirk Pattinson
Format: Article
Sprog:English
Udgivet: Logical Methods in Computer Science e.V. 2009-09-01
Serier:Logical Methods in Computer Science
Fag:
computer science - data structures and algorithms
computer science - logic in computer science
e.1
e.2
f.2.1
f.2.2
Online adgang:https://lmcs.episciences.org/713/pdf

Internet

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

Lignende værker