I've started doing some of the exercises from the notes - mostly good
intentions so far. But I thought I'd put them somewhere were other people
could see them as I go along, so they're here www2.cs.man.ac.uk/~regerg . A
while ago I started a proof of Church Rosser for the lambda calculus, it's
also there but I can't remember how far I got and if it currently makes
In terms of tomorrow I think we're going to stay on Chapter Two. I've just
done the first part of Exercise 2.7.1 and Exercise 2.7.3 - the Natural
Deduction proofs. So if anybody wants to have a go at the Natural Deduction
proofs they can see how I think they should go.
As time allows I'll carry on doing exercises from the chapters we do and
update the documents.
Hope everybody's well,