Abstract | ||
---|---|---|
This paper reviews the one-to-one correspondence between stably compact spaces (a topological concept covering most classes of semantic domains) and compact ordered Hausdorff spaces. The correspondence is extended to certain classes of real-valued functions on these spaces. This is the basis for transferring methods and results from functional analysis to the non-Hausdorff setting. |
Year | DOI | Venue |
---|---|---|
2004 | 10.1016/j.tcs.2004.06.021 | Theoretical Computer Science |
Keywords | DocType | Volume |
Probabilistic powerdomain,Stably compact space,Valuation | Journal | 328 |
Issue | ISSN | Citations |
3 | 0304-3975 | 16 |
PageRank | References | Authors |
1.37 | 14 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Mauricio Alvarez-Manilla | 1 | 16 | 1.37 |
Achim Jung | 2 | 111 | 13.07 |
K. Keimel | 3 | 26 | 3.15 |