Easter Session

[Joe Razavi]

Hi,

Today we had a first read of Chapter 8, and motivated the weirdness of
the delta-construction which purports to be a lambda term
corresponding to a classical proof. Next time, the 10th of April,
we'll try to get to grips with the computational significance of this
operator!

See you then!

Joe

[Francis Southern]

Just out of interest, will anyone actually be there today? And is it at
the normal time and place?

Francis

[Richard Stapenhurst]

I had completely forgotten, but I could be there. I haven't read
anything though, I'm still being crushed under the weight of impending
paper deadlines :-)

On 10 April 2012 11:09, Francis Southern

[Francis Southern]

I could be there too, but I also haven't done much reading. So if it's
only us two, perhaps it's not worth the effort.... *Waits to see if
anyone else chimes in.*

[reg...@cs.man.ac.uk]

Sorry I can't be there today... had forgotten it starts again today.

Giles

Sent from my HTC

[Joseph Razavi]

I can attend, although I haven't done any prep either -- I'll show up
and have a chat with anyone who comes along, but perhaps we shouldn't
move forwards if several people are missing.

Joe

[Francis Southern]

Well, if there are three of us, that's almost normal attendance! So,
since I'm just sitting in Alan Turing at the moment anyway, I'll go and
investigate at five and see if anything happens.

Francis

[regerg]

Hello everybody,

This is fun.

http://thyer.name/lambda-animator/

Giles