Deux ou trois choses que je sais d'elle : la logique
Apparaît dans la collection : Linear Logic Winter School / École d'hiver de logique linéaire
Nul besoin de système logique, telle est la leçon de la linéarité.
Mathématiques
et Interactions
Informations sur la vidéo
- Date de captation 28/01/2022
- Date de publication 14/02/2022
- Institut CIRM
- Licence CC BY NC ND
- Langue Français
- Audience Chercheurs, Doctorants
- Réalisateur(s) Guillaume Hennenfent
- Format MP4
Données de citation
- DOI 10.24350/CIRM.V.19882403
- Citer cette vidéo Girard, Jean-Yves (28/01/2022). Deux ou trois choses que je sais d'elle : la logique. CIRM. Audiovisual resource. DOI: 10.24350/CIRM.V.19882403
- URL https://dx.doi.org/10.24350/CIRM.V.19882403
Domaine(s)
Codes MSC
Document(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
