Computerphile

Propositions as Types (2017x67)

Fecha de emisión: Sept 27, 2017

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