Computer Laboratory

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.