Mathematics and Computation

A blog about mathematics for computers

A constructive theory of domains suitable for implementation

With Iztok Kavkler.

Abstract: We formulate a predicative, constructive theory of continuous domains whose realizability interpretation gives a practical implementation of continuous ω-chain complete posets and continuous maps between them. We apply the theory to implementation of the interval domain and exact real numbers.

Download: constructive-domains.pdf

Posting comments: At present comments are disabled because the relevant script died. You are welcome to contact me directly.