| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 4662348 | Annals of Pure and Applied Logic | 2009 | 17 Pages |
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.
Related Topics
Physical Sciences and Engineering
Mathematics
Logic
