Search

• < Previous
• 1
• Next >

---

Representations of Stream Processors Using Nested Fixed Points

Neil Ghani ; Peter Hancock ; Dirk Pattinson.

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&nbsp;[&hellip;]

---

Constructive Domains with Classical Witnesses

Dirk Pattinson ; Mina Mohammadian.

We develop a constructive theory of continuous domains from the perspective of program extraction. Our goal that programs represent (provably correct) computation without witnesses of correctness is achieved by formulating correctness assertions classically. Technically, we start from a predomain&nbsp;[&hellip;]

---