Course pages 2014–15
Advanced Topics in Denotational Semantics
- Discussion forum
- Lecture notes (source)
- Lecture 1 sections 1.1-1.2: the simply-typed λ-calculus as a programming language
- Lecture 2 sections 1.3.: the computational λ-calculus
- Lecture 3 chapter 2: universal algebra, equational logic, and monads (to be typeset)
- Lecture 4 chapter 3: the algebraic theory of effects: model construction.
- Lecture 5 chapter 3: the algebraic theory of effects: the algebraic λ-calculus, part I.
- Lecture 6 chapter 3: the algebraic theory of effects: the algebraic λ-calculus, part II, and combining effects.