Typed Lambda Calculus 2010

Lecture Course in the Midlands Graduate School 2010 .

Lectures:

Sunday,28 March until Thursday, 1 April, 10.00h-11.00h LT6, Mappin Building