Continuous domains as formal spaces
- 26 February 2002
- journal article
- research article
- Published by Cambridge University Press (CUP) in Mathematical Structures in Computer Science
- Vol. 12 (01) , 19-52
- https://doi.org/10.1017/s0960129501003450
Abstract
The connections between formal topology and domain theory are surveyed and various types of continuous domains are represented as formal spaces through locally Stone and locally Scott formal topologies.Keywords
This publication has 0 references indexed in Scilit: