Computation on metric spaces via domain theory
The purpose of this paper is to survey recent approaches to realizing (or embedding) a Polish space as the set of maximal points of a continuous domain. Such realizations provide a convenient framework in which to model certain computational algorithms on the space and a useful alternate approach via the probabilistic power domain to measure theory and integraion on the space. © 1998 Elsevier Science B.V.
Publication Source (Journal or Book title)
Topology and its Applications
Lawson, J. (1998). Computation on metric spaces via domain theory. Topology and its Applications, 85 (1-3), 247-263. https://doi.org/10.1016/s0166-8641(97)00152-1