Computerphile

Homotopy Type Theory Discussed

2017 • E72    Oct 13, 2017    14m
Discussing Homotopy Type Theory with Professor Thorsten Altenkirch.

Where to Watch Computerphile - 2017 • E72

 

  •   
  •   
  •   
  •   
  •   
  •   
  •   

Take Plex everywhere

Watch free anytime, anywhere, on almost any device.
See the full list of supported devices