The marriage of a quasi-metric and the Scott topology.
by
Bart Windels
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. It is so to speak the correct topology-like structure for quantitative domain theory.

Date received: May 28, 1999

Copyright © 1999 by the author(s). The author(s) of this document and the organizers of the conference have granted their consent to include this abstract in Atlas Conferences Inc. Document # cacl-27.