peteg's blog - hacking - isabelle - 2008 03 02 Roscoe Semantics

Bill Roscoe's almost-book on Denotational Semantics.

/hacking/isabelle | Link

Tim pointed this almost-book out to me. It's sorely disappointing that whoever-it-was who should've cranked the operational semantics half did not do so; what is there is top-notch, especially the chapters on Information Systems. Whereas Glyn Winskel's text does a great job of presenting the mathematics of these "concretised" domains, this book also delves into the philosophical concerns and hence makes the mathematics that much easier to follow.

It's linked from near the top of his publications page.