Totally bounded spaces and compact ordered spaces as domains of computation
Topology and category theory in computer science
Handbook of logic in computer science (vol. 3): semantic structures
Handbook of logic in computer science (vol. 3): semantic structures
The bounded-complete hull of an &agr;-space
NSL '94 Proceedings of the first workshop on Non-standard logics and logical aspects of computer science
Power Domains and Predicate Transformers: A Topological View
Proceedings of the 10th Colloquium on Automata, Languages and Programming
Theory of Domains and Nearby (Invited Paper)
Proceedings of the International Conference on Formal Methods in Programming and Their Applications
Stably Compact Spaces and the Probabilistic Powerspace construction
Electronic Notes in Theoretical Computer Science (ENTCS)
De groot duality and models of choice: Angels, demons and nature†
Mathematical Structures in Computer Science
Continuous capacities on continuous state spaces
ICALP'07 Proceedings of the 34th international conference on Automata, Languages and Programming
Hi-index | 0.00 |
The purpose of this paper is to develop the basic theory of stably compact spaces (viz. compact, locally compact, coherent sober spaces) and introduce in an accessible manner and with a minimum of prerequisites some significant new lines of investigation and application arising from recent research, which has arisen primarily in the theoretical computer science community. Three primary themes have developed: (i)the property of stable compactness is preserved under a large variety of constructions involving powerdomains, hyperspaces and function spaces; (ii)the underlying de Groot duality of stably compact spaces, which finds varied expression, is reflected by duality theorems involving the just mentioned constructions; and (iii)the notion of inner and outer pavings is a useful and natural tool for such studies of stably compact spaces.