A constructive theory of domains suitable for implementation
- 31 January 2008
- Constructive math, Publications, RZ
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.