Reading for the 7th

18 views

Skip to first unread message

Joe Razavi

unread,

Oct 31, 2011, 10:30:13 AM10/31/11

to Manchester Type Theory Reading Group

Hi everyone,

There won't be a meeting today in order to avoid reading week (but
I'll hang around anyway since I left this message so late!).
Therefore, our next meeting will be on the 7th of November. For then
we have agreed to read the whole of chapter 2.

If you find that that's quite a lot of material, then put your effort
into the introduction, and sections 2.1 and 2.2.

See you soon! (some of you, perhaps, tomorrow at 11),

Joe

regerg

unread,

Nov 13, 2011, 4:11:05 PM11/13/11

to manchester-type-th...@googlegroups.com

Hello everybody,

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
sense/is wrong.

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.