Naive Type Theory (NTT)

Material related to my course at the Midland Graduate School in Birmingham, 11 - 15 April 2016


Last modified: Thu Apr 14 15:47:36 BST 2016