## 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