Courses 2000-2001
Nottingham, 18 October - 15 November 2000
Thorsten Altenkirch
A Taste of Intuitionistic Type Theory
Graham Hutton
Introduction to Category Theory
Natasha Alechina
Descriptive Complexity
Roland Backhouse
Mathematics of Program Construction
February 2001, Birmingham
Uday Reddy: Foundations of Object-Oriented Languages
Achim Jung: Denotational Semantics
Eike Ritter: Type Theory
Martin Escardo: Domain Theory