Propositions as Types - Computerphile

3,022
by Super User, 7 years ago
0 0
Mathematics once again meets Computer Science as Professor Altenkirch continues to discuss Type Theory

Thanks to Lily the dog!

http://www.facebook.com/computerphile
https://twitter.com/computer_phile

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