Domain theory in logical form (Q1174593)

The article is a very interesting attempt to connect domain theory, logics of programs, and concurrency. The author moves in the mathematical framework of Stone duality. Up to now, Stone duality was important for topology and logic. The author points out its importance for computer science: Stone duality provides the framework for understanding the relationship between denotational semantics and program logics. A metalanguage with types and terms (programs) is introduced. A denotational interpretation, and then a logical one are given. The two interpretations are Stone duals of each other (``a strengthened form of the logician's soundness and completeness''). Each determines the other up to isomorphism. Consequently, semantics and logic are guaranteed to be in harmony with each other. Finally, directions for further research are discussed. A deep and provocative paper. A very good reference article.