Mathematics
and Interactions
-
Videos linked to 18A15 Foundations, relations to logic and deductive systemsMore +
![[1085] Théorie des types dépendants et axiome d'univalence]()
01:19:57published on June 21, 2014[1085] Théorie des types dépendants et axiome d'univalence
By Thierry Coquand
![Univalent Foundations - new type-theoretic foundations of mathematics]()
54:16published on April 23, 2014Univalent Foundations - new type-theoretic foundations of mathematics
By Vladimir Voevodsky
![[1085] Théorie des types dépendants et axiome d'univalence](/media/cache/video_light/uploads/video/video-bcb9925c99f0fbef13d673ed5b4793e1.jpg)
