Topology, domain theory and theoretical computer science

  • Mislove M
Citations of this article
Mendeley users who have this article in their library.


In this paper, we survey the use of order-theoretic topology in theoretical computer science, with an emphasis on applications of domain theory. Our focus is on the uses of order-theoretic topology in programming language semantics, and on problems of potential interest to topologists that stem from concerns that semantics generates. Keywords: Domain theory, Scott topology, power domains, untyped lambda calculus Subject Classification: 1 Introduction Topology...




Mislove, M. W. (2002). Topology, domain theory and theoretical computer science. Topology and Its Applications, 89(1–2), 3–59.

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free