The Scott approach structure : an extension of the Scott topology for quantitative domain theory
Acta mathematica Hungarica. - Budapest
, p. 35-44
University of Antwerp
In the study of partially ordered sets, topologies such as the Scott topology have shown to be of paramount importance. In order to have analogous topology-like tools in the more general setting of quantitative domains, we introduce the Scott distance, which is a canonical numerification of the Scott topology and at the same time allows for quantitative considerations. We show that the Scott distance shares the important features of the Scott topology.