Goslett, J.; Hulley, H; Melton, A
(South African Computer Society (SAICSIT), 1993)
This tutorial is an introduction to denotational semantics and domain theory. For this reason the presentation is not entirely rigorous, with some proofs being omitted and certain simplifying assumptions being made. Instead, ...