Computerphile

Propositions as Types (2017x67)

Data di messa in onda: Set 27, 2017

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