Computerphile

Propositions as Types (2017x67)

:

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