Domain Theory

Reading List

• A W Roscoe, Notes on Domain Theory, obtainable from the Computing Laboratory.

• J E Stoy, Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory, MIT Press, 1977.
• H Abelson & G J Sussman, Structure and Interpretation of Computer Programs, MIT Press, 185. (For background on functional programming).
• D S Scott, PRG Technical Monographs. (Available from the Computing Laboratory).

• C A Gunter & D S Scott, Semantic Domains, pp. 633-674, Volume B of the Handbook of Theoretical Computer Science (J van Leeuween, ed.), Elsevier, 1990.
• S Abramsky & A Jung, Domain Theory, pp. 1-168, Volume 3 of the Handbook of Logic in Computer Science (S Abramsky et al., eds.), Oxford University Press, 1994.
• G D Plotkin, Notes on Domains, University of Edinburgh, 1983. (They can be found on the Web by searching for "Plotkin" at http://hypatia.dcs.qmw.ac.uk, or obtained from Mr Lazic at the Computing Laboratory).
• V Stoltenberg-Hansen, I Lindström & E R Griffor, Mathematical Theory of Domains, Cambridge Tracts in Theoretical Computer Science 22, 1994.
• B A Davey & H A Priestley, Introduction to Lattices and Order, Cambridge University Press, 190. (For more about partial orders).