G54FOP Lecture Note Index

Spring 2013

This page will contain links to lecture notes for the lectures. Additionally, all electronic material used during the lectures, in particular slides and any major pieces of code will be available via this page. The slides are all in PDF, and there are three versions available for each lecture. The basic version is intended for on-screen viewing only, whereas the 4 up and 9 up versions are mainly intended for printing, putting 4 and 9 slides respectively on each page.


Lecture 1-A: Administrative Details and Introduction

31 January 2013


Lecture 1: Basic Formal Language Notions and Abstract Syntax

31 January 2013


Lecture 2: Abstract Syntax and Induction on Terms

1 February 2013


Lecture 3: Introduction to Semantics

7 February 2013


Lecture 5: Operational Semantics II: Induction on Derivations

14 February 2013


Lecture 6: Operational Semantics III: State

15 February 2013


Lecture 7: The Untyped Lambda-Calculus I: Introduction

21 February 2013


Lecture 11: Untyped lambda-calculus: Operational Semantics and Reduction Orders

14 March 2013


Lecture 12: Types and Type Systems I

15 March 2013


Lecture 13: Types and Type Systems II

21 March 2013


Lecture 14: The Polymorphic Lambda Calculus (System F)

22 March 2013


Lecture 15: Denotational Semantics and Domain Theory I

25 April 2013


Lecture 16: Denotational Semantics and Domain Theory II

26 April 2013


Lecture 17 & 18: Denotational Semantics and Domain Theory III & IV

2 & 3 May 2013


Last updated 1 May 2013.