Domains are mathematical structures for information and
approximation; they combine order-theoretic, logical, and
topological ideas and provide a natural framework for modelling and
reasoning about computation. The theory of domains has proved to be
a useful tool for programming languages and other areas of computer
science, and for applications in mathematics.
Included in this proceedings volume are selected papers of original
research presented at...
more...