Summary: Domain Theory In Logical Form
Department of Computing
Imperial College of Science and Technology
180 Queen's Gate
London SW7 2BZ
Published in Annals of Pure and Applied Logic 51 (1991) 177
September 2, 1988
The mathematical framework of Stone duality is used to synthesize a number
of hitherto separate developments in Theoretical Computer Science:
· Domain Theory, the mathematical theory of computation introduced by
Scott as a foundation for denotational semantics.
· The theory of concurrency and systems behaviour developed by Milner,
Hennessy et al. based on operational semantics.
· Logics of programs.
Stone duality provides a junction between semantics (spaces of points = denota-
tions of computational processes) and logics (lattices of properties of processes).
Moreover, the underlying logic is geometric, which can be computationally in-