Naive Type Theory

Material for a course at MGS 17 by Thorsten Altenkirch

Links

Lecture notes


Last modified: Thu Jul 6 13:49:01 BST 2017