Lectures
- Week 0: Introduction
- Week 1: Predicate Logic
- Week 2: Type Theory
- Week 3: Lambda Calculus
- Week 4: Lexical Semantics
- Week 5: Event Semantics
- Week 6: Generalized Quantifiers
- Week 7: Dynamic Semantics
- Week 8: Discourse Representation Theory
- Week 9: Presupposition
- Week 10: Distributional Formal Semantics: Representations
- Week 11: Distributional Formal Semantics: Incrementality
- Week 12: Current Issues in Semantic Theory