Material for the course: Intuitionistic Type Theory, Summer School on Types, Sets and Constructions Hausdorff Research Institute for Mathematics, Bonn, 3 - 9 May, 2018

Slides: Articles: Further reading: Agda files: Exercises: