Propositions as Types - Computerphile
by Super User, 3 weeks ago.
Thanks to Lily the dog!
This video was filmed and edited by Sean Riley.
Computer Science at the University of Nottingham: http://bit.ly/nottscomputer
Computerphile is a sister project to Brady Haran's Numberphile. More at http://www.bradyharan.com