Summary: Domain Theory
Corrected and expanded version
Samson Abramsky 1 and Achim Jung 2
This text is based on the chapter Domain Theory in the Handbook for Logic in
Computer Science, volume 3, edited by S. Abramsky, Dov M. Gabbay, and T. S.
E. Maibaum, published by Clarendon Press, Oxford in 1994. While the numbering of
all theorems and definitions has been kept the same, we have included comments and
corrections which we have received over the years. For ease of reading, small typo
graphical errors have simply been corrected. Where we felt the original text gave a
misleading impression, we have included additional explanations, clearly marked as
If you wish to refer to this text, then please cite the published original version where
possible, or otherwise this online version which we try to keep available from the page
We will be grateful to receive further comments or suggestions. Please send them
So far, we have received comments and/or corrections from Joseph D. Darcy, Mo
hamed ElZawawy, Homeira Pajoohesh, and Dominic van der Zypen.
1 Computing Laboratory, University of Oxford, Wolfson Building, Parks Road, Oxford, OX1 3QD, Eng