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