Computer Science ∩ Mathematics (Type Theory) - Computerphile

11 January 2017
Computerphile
99,507 views
2,287 67
Comments