Completed
Dependent Types
Class Central Classrooms beta
YouTube videos curated by Class Central.
Classroom Contents
Peter Dybjer - Intuitionistic Type Theory - Lecture I
Automatically move to the next video in the Classroom when playback concludes
- 1 Introduction
- 2 Historical Intuitionistic Type Theory
- 3 Types
- 4 Application
- 5 Material System
- 6 Type System
- 7 Recursion Combinator
- 8 Paper Format
- 9 System E
- 10 Dependent Types
- 11 Existential Quantification
- 12 What is the Universe
- 13 Intuitionistic Type Theory
- 14 Free Systems
- 15 Abortion of Choice
- 16 Models
- 17 Openness
