Topology, domain theory and theoretical computer science

  • Mislove M
N/ACitations
Citations of this article
20Readers
Mendeley users who have this article in their library.

Abstract

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...

Cite

CITATION STYLE

APA

Mislove, M. W. (2002). Topology, domain theory and theoretical computer science. Topology and Its Applications, 89(1–2), 3–59. https://doi.org/10.1016/s0166-8641(97)00222-8

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