Mathématiques
et Interactions
-
Les vidéos associées à 18A15 Foundations, relations to logic and deductive systemsVoir +
![[1085] Théorie des types dépendants et axiome d'univalence]()
01:19:57publiée le 21 juin 2014[1085] Théorie des types dépendants et axiome d'univalence
De Thierry Coquand
![Univalent Foundations - new type-theoretic foundations of mathematics]()
54:16publiée le 23 avril 2014Univalent Foundations - new type-theoretic foundations of mathematics
De Vladimir Voevodsky
![[1085] Théorie des types dépendants et axiome d'univalence](/media/cache/video_light/uploads/video/video-bcb9925c99f0fbef13d673ed5b4793e1.jpg)
