Completed
Martin Hötzel Escardó: Constructive Mathematics in Univalent Type Theory (Lecture I)
Class Central Classrooms beta
YouTube videos curated by Class Central.
Classroom Contents
Constructive Mathematics in Univalent Type Theory
Automatically move to the next video in the Classroom when playback concludes