Computerphile

Computerphile

Homotopy Type Theory Discussed (2017x72)


Fecha de emisión: Oct 13, 2017

Discussing Homotopy Type Theory with Professor Thorsten Altenkirch.

  • Estrenada: May 2013
  • Episodios: 852
  • Seguidores: 0
  • En emisión
  • YouTube
  • a las 8