Computerphile

Propositions as Types (2017x67)

Yayınlanma tarihi: Eyl 27, 2017

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