This is an old offering of the course. Information about the latest offering , with links to others, is also available.
Information is available under the following headings.
Also available are the following. An Introduction to the Literature on Semantics , which was passed out to students. This topics discussed in this course change each time it is offered. In 1990 we used notes from Carl Gunter that later became his book Semantics of Programming Languages and also studied type theory. There are usually 43 or 44 lecture meetings in a semester.