Thierry Coquand
Univ. Göteborg
Mathématiques
et Interactions
-
6 vidéos
![Panel: What is the role of Topos in Information and Communication Technologies?]()
33:53publiée le 16 avril 2018Panel: What is the role of Topos in Information and Communication Technologies?
De Thierry Coquand , Jean-Claude Belfiore , Daniel Bennequin , Mérouane Debbah , Olivia Caramello
![4/4 Fonctorialité et formules de Poisson non-linéaires]()
03:23:31publiée le 11 juillet 20144/4 Fonctorialité et formules de Poisson non-linéaires
De Thierry Coquand , Laurent Lafforgue
![[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
![[1085] Théorie des types dépendants et axiome d'univalence](/media/cache/video_light/uploads/video/video-bcb9925c99f0fbef13d673ed5b4793e1.jpg)
