Lambda Calculus and Types: 2010-2011
Timetables
Lecturer |
|
Term |
Michaelmas Term 2010 (16 lectures) |
Lectures |
Michaelmas Term 2010Monday, 15:00 - 16:00 ( Weeks 1-8 ) Lecture Theatre A Wednesday, 17:00 - 18:00 ( Weeks 1-8 ) Lecture Theatre A |