Completed
Martin Hötzel Escardó: Constructive Mathematics in Univalent Type Theory (Lecture II)
Class Central Classrooms beta
YouTube videos curated by Class Central.
Classroom Contents
Types, Sets and Constructions
Automatically move to the next video in the Classroom when playback concludes
- 1 Thierry Coquand: Constructive Algebra (Lecture III)
- 2 Thierry Coquand: Constructive Algebra (Lecture II)
- 3 Thierry Coquand: Constructive Algebra (Lecture I)
- 4 Ulrich Kohlenbach: Extraction of Information from Proofs (Lecture I)
- 5 Ulrich Kohlenbach: Extraction of Information from Proofs (Lecture II)
- 6 Ulrich Kohlenbach: Extraction of Information from Proofs (Lecture III)
- 7 Peter Dybjer: Intuitionistic Type Theory (Lecture I)
- 8 Peter Dybjer: Intuitionistic Type Theory (Lecture II)
- 9 Peter Dybjer: Intuitionistic Type Theory (Lecture III)
- 10 Michael Rathjen: Opening and Introduction
- 11 Martin Hötzel Escardó: Constructive Mathematics in Univalent Type Theory (Lecture I)
- 12 Martin Hötzel Escardó: Constructive Mathematics in Univalent Type Theory (Lecture II)
- 13 Martin Hötzel Escardó: Constructive Mathematics in Univalent Type Theory (Lecture III)
