Propositions as Types - Computerphile

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!

This video was filmed and edited by Sean Riley.

Computer Science at the University of Nottingham:

Computerphile is a sister project to Brady Haran's Numberphile. More at