Title of article
A constructive theory of continuous domains suitable for implementation
Author/Authors
Bauer، نويسنده , , Andrej and Kavkler، نويسنده , , Iztok، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2009
Pages
17
From page
251
To page
267
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.
Keywords
domain theory , Real number computation , Constructive mathematics
Journal title
Annals of Pure and Applied Logic
Serial Year
2009
Journal title
Annals of Pure and Applied Logic
Record number
1444303
Link To Document