Friday, January 13, 2017

Thorsten Altenkirch: Computerphile: Computer Science ∩ Mathematics (Type Theory)

Thorsten Altenkirch