Computerphile

Computerphile

Homotopy Type Theory Discussed (2017x72)


Air date: Oct 13, 2017

Discussing Homotopy Type Theory with Professor Thorsten Altenkirch.

  • Premiered: May 2013
  • Episodes: 835
  • Followers: 0
  • Running
  • YouTube
  • at 8