|
Title
|
|
|
|
The Scott approach structure : an extension of the Scott topology for quantitative domain theory
|
|
|
Author
|
|
|
|
|
|
|
Abstract
|
|
|
|
| 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. |
|
|
|
Language
|
|
|
|
English
|
|
|
Source (journal)
|
|
|
|
Acta mathematica Hungarica. - Budapest
|
|
|
Publication
|
|
|
|
Budapest
:
2000
|
|
|
ISSN
|
|
|
|
0236-5294
|
|
|
DOI
|
|
|
|
10.1023/A:1006792209118
|
|
|
Volume/pages
|
|
|
|
88
:1-2
(2000)
, p. 35-44
|
|
|
ISI
|
|
|
|
000089000500004
|
|
|
Full text (Publisher's DOI)
|
|
|
|
|
|
|
Full text (publisher's version - intranet only)
|
|
|
|
|
|