More of Thorsten on Type Theory: https://bit.ly/C_Thor_playlist
Thorsten’s paper dedicated to Martin: https://bit.ly/C_Thor_Paper
Tweets by computer_phile
This video was filmed and edited by Sean Riley.
Computer Science at the University of Nottingham: https://bit.ly/nottscomputer
Computerphile is a sister project to Brady Haran’s Numberphile. More at http://www.bradyharan.com