Computerphile

Computerphile

Homotopy Type Theory Discussed (2017x72)


Yayınlanma tarihi: Eki 13, 2017

Discussing Homotopy Type Theory with Professor Thorsten Altenkirch.

  • Prömiyeri: May 2013
  • Bölümler: 857
  • Takipçiler: 0
  • Devam eden
  • YouTube
  • saat 8