Théorie des types et mathématiques constructives
Apparaît dans la collection : SHM - Constructivismes en mathématiques
Thierry Coquand (Université de Gothenburg), « Théorie des types et mathématiques constructives »
Mathématiques
et Interactions
00:00:00 / 00:00:00
Informations sur la vidéo
- Date de captation 16/01/2015
- Date de publication 16/01/2015
- Institut IHP
- Licence CC BY-NC-ND
- Format MP4
Domaine(s)
Dernières questions liées sur MathOverflow
Pour poser une question, votre compte Carmin.tv doit être connecté à mathoverflowPoser une question sur MathOverflow
Inscrivez-vous
- Mettez des vidéos en favori
- Ajoutez des vidéos à regarder plus tard &
conservez votre historique de consultation - Commentez avec la communauté
scientifique - Recevez des notifications de mise à jour
de vos sujets favoris
