CSCE 330 Lecture Notes
Notes used in class (PowerPoint format)
Notes by Robert Sebesta for Preliminaries and History (postscript format)
Notes by Robert Sebesta for Syntax, Axiomatic Semantics, and Denotational Semantics (postscript format)
Notes on Denotational Semantics (postscript format)
Example of Use of Denotational Semantics (postscript format)