Topology, Domain Theory and Theoretical

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 prob- lems 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 most useful to one particular area of theoretical computation { denotational semantics 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 most useful to one particular area of theoretical computation { denotational semantics