Lectures on Dependent Type Theory
Four lectures on Dependent Type Theory given at the Midlands Graduate
School in the Foundations of Computing, Leicester, March 30th - April
3rd, 2009.
Slides
Exercises
This page has been modified for
the last time on April 1st, 2009 by Nicola Gambino