Continuous domains as formal spaces
Sara Negri · Mathematical Structures in Computer Science · 2002
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.