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