The Interface Between Topology and Domain Theory
by
Jimmie Lawson
Louisiana State University

Domain theory has played an important role as a construct in theoretical computer science in the approach of denotational semantics to modeling programming languges and programs, in modeling data structures, and more recently has been applied to computational aspects of dynamical systems. In this talk an effort will be made to survey the topological properties of domains that have made them interesting and useful in such contexts. The talk will also focus on some more recent developments such as an evolving theory that relates domain theory to classical topological spaces (via "maximal point" or "total" spaces) and interesting applications in the area of probability theory (the probabilistic power domain).

Date received: April 12, 1996

Copyright © 1996 by the author(s). The author(s) of this document and the organizers of the conference have granted their consent to include this abstract in Atlas Conferences Inc. Document # caae-53.