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