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. Old Homeworks . 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. The main interest will be in in how these views of semantics are connected and applied.