• 0%
    0 votes
  • Rate this episode
    What did you think?
  • 4
    watchers
  • 6
    plays
  • 6
    collected

Computerphile: Season 2017

2017x72 Homotopy Type Theory Discussed
TV-G

  • 2017-10-13T12:00:00Z on YouTube
  • 10m
  • United States
  • Documentary
Discussing Homotopy Type Theory with Professor Thorsten Altenkirch.
Private Notes
Add
Private Notes
Check In
Add to history
Add to collection
Add to list
Add comment
Loading...