Date		Topic	Notes	Homework
T	Jan   13	Reduction semantics	Redex I.1	I.1.1-6
Th	15	Induction and consistency	Induction, Redex I.2	Ex. 20.1-3, 20.6
T	20	Lambda calculus	Redex I.3.1-6	Ex. I.3.{4,5,7,8,12,13}
Th	22	Recursion and normal forms	Redex I.3.7-10	Ex. I.3.16-17
T	27	Redex	Redex II.1	Ex. II.1.2-5
Th	29	ISWIM	Redex I.4
T	27	Variables and meta-functions	Redex II.2
Th	29
T	Feb  3
Th	5
T	10
Th	12
T	17
Th	19
T	24
Th	26
T	Mar  3
Th	5
T	10
Th	12
T	17
Th	19
T	24
Th	26
T	31
T	Apr  2
T	7
Th	9
T	14
Th	16
T	21
Th	23
T	28