| 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
|
|
| Volume/pages |
|
|
|
88:1-2(2000), p. 35-44
|
|
| ISI |
|
|
|
000089000500004
|
|
| Full text (Publisher's DOI) |
|
|
| |
|
| Full text (publisher's version - intranet only) |
|
|
| |
|