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

Ful tanımlama

Detaylı Bibliyografya
Asıl Yazarlar: Neil Ghani, Peter Hancock, Dirk Pattinson
Materyal Türü: Makale
Dil:English
Baskı/Yayın Bilgisi: Logical Methods in Computer Science e.V. 2009-09-01
Seri Bilgileri:Logical Methods in Computer Science
Konular:
computer science - data structures and algorithms
computer science - logic in computer science
e.1
e.2
f.2.1
f.2.2
Online Erişim:https://lmcs.episciences.org/713/pdf

Benzer Materyaller

Benzer Materyaller