- Review of necessary math background
- Big-step operational semantics using a Plotkin inference system
- Axiomatic semantics using the Hoare/Floyd axioms
- Denotational semantics using Strachey/Scott lambda calculus
Click
on Announcements for the lastest news of postings etc.
Click
on Navigation for an overview of the site
Click
on Topics for the course materials, organized by topic
Click
on Caendar for the course notes, in chronological order
