Computerphile

Computerphile

Homotopy Type Theory Discussed (2017x72)


:

Discussing Homotopy Type Theory with Professor Thorsten Altenkirch.

  • :
  • : 857
  • : 0
  • YouTube
  • 8