Computer Science ∩ Mathematics (Type Theory) - Computerphile

11 January 2017
Computerphile
113,349 views
2,508 74
Comments