Computerphile

Propositions as Types (2017x67)

Air date: Sep 27, 2017

Mathematics once again meets Computer Science as Professor Altenkirch continues to discuss Type Theory