Course pages 2015–16

Advanced Topics in Denotational Semantics

• 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 section 2.1: equational logic
  • Lecture 4 sections 2.2-2.3: universal algebra and monads