Topology, Domain Theory and Theoretical Computer Science

Topology, Domain Theory and Theoretical Computer Science (1997)

by Michael W. Mislove

Citations:

8 - 2 self

User correction supplied by SystemCorrections

Datum	Value	Source
TITLE	Topology, Domain Theory and Theoretical Computer Science	user correction - Legacy Corrections
AUTHOR NAME	Michael W. Mislove	SVM HeaderParse 0.1
AUTHOR AFFIL	1; Department of Mathematics; Tulane University	SVM HeaderParse 0.2
AUTHOR ADDR	New Orleans, LA 70118	SVM HeaderParse 0.1
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: 06B35,06F30,18B30,68N15,68Q55 1 Introduction Topology has proved to be an essential tool for certain aspects of theoretical computer science. Conversely, the problems that arise in the computational setting have provided new and interesting stimuli for topology. These problems also have increased the interaction between topology and related areas of mathematics such as order theory and topological algebra. In this paper, we outline some of these interactions between topology and theoretical computer science, focusing on those aspects that have been mo...	user correction - Legacy Corrections
YEAR	1997	user correction - Legacy Corrections
CITATIONS	61 found	ParsCit 1.0