Toggle navigation
Discover
On Today
Awards
Companies
Lists
People
Tagging & Taxonomy
Earn Points
Support
Add A Record
Add Series
Add Movie
Add Person
Account
Dashboard
Notifications
Subscribe
Favorite Series
Favorite Movies
Logout
Login
Add Series
Add Movie
Add Person
Dashboard
Notifications
Subscribe
Favorite Series
Favorite Movies
Logout
Login
Home
/
Series
/
Computerphile
/ Aired Order /
Season 2017
/ Episode 72
Edit Episode
Add Artwork
Edit Translations
Delete
Delete
Homotopy Type Theory Discussed
Discussing Homotopy Type Theory with Professor Thorsten Altenkirch.
English
General
Cast & Crew
Originally Aired
October 13, 2017
Runtime
14 minutes
Production Code
Ft8R3-kPDdk
Network
YouTube
Created
January 30, 2020 by
Administrator
admin
Modified
January 30, 2020 by
Administrator
admin
×
Delete Episode
Why are you deleting this episode?
*
Choose an option
Type of Duplicate
*
Series
Season
Episode
Movie
Person
Artwork
Company
List
ID of Duplicate
*
Enter the type and id of the record that this record is a duplicate of and confirm using the preview below. This is critical information for downstream systems.
Preview
