Naive Type Theory

Material for a course at MGS 17 by Thorsten Altenkirch

Links

Lecture notes


Last modified: Thu Apr 6 13:38:12 BST 2017