English
Deux ou trois choses que je sais d'elle : la logique
Multi angle
Auteurs : Girard, Jean-Yves (Auteur de la conférence)
CIRM (Editeur )
03B70 - Logic of programming, See also {68Q55, 68Q60}
03F03 - Proof theory, general
03F52 - Linear logic and other substructural logics
Ressources complémentaires :
https://www.cirm-math.fr/RepOrga/2685/Slides/Cirm2022.pdf
CIRM (Editeur )
Loading the player...
|
Résumé :
Nul besoin de système logique, telle est la leçon de la linéarité.
Mots-Clés : logique linéaire; algèbres stellaires; normalisation
Codes MSC : Mots-Clés : logique linéaire; algèbres stellaires; normalisation
03B70 - Logic of programming, See also {68Q55, 68Q60}
03F03 - Proof theory, general
03F52 - Linear logic and other substructural logics
Ressources complémentaires :
https://www.cirm-math.fr/RepOrga/2685/Slides/Cirm2022.pdf
|
Informations sur la Vidéo
Réalisateur : Hennenfent, GuillaumeLangue : Français Date de Publication : 14/02/2022 Date de Captation : 28/01/2022 Sous Collection : Research School Catégorie arXiv : Logic Domaine(s) : Logique et Fondements Format : MP4 (.mp4) - HD Durée : 01:44:57 Audience : Chercheurs ; Etudiants Science Cycle 2 Download : https://videos.cirm-math.fr/2022-01-28_Girard.mp4 
|
Informations sur la Rencontre
Nom de la Rencontre : Linear Logic Winter School / École d'hiver de logique linéaireOrganisateurs de la Rencontre : Tortora de Falco, Lorenzo ; Vaux Auclair, Lionel Dates : 24/01/2022 - 28/01/2022 Année de la rencontre : 2022 URL de la Rencontre : https://conferences.cirm-math.fr/2685.html
Données de citation
DOI : 10.24350/CIRM.V.19882403Citer cette vidéo: Girard, Jean-Yves (2022). Deux ou trois choses que je sais d'elle : la logique. CIRM. Audiovisual resource. doi:10.24350/CIRM.V.19882403 URI : http://dx.doi.org/10.24350/CIRM.V.19882403 |
Voir Aussi
- [Virtualconference] Program semantics with token passing / Auteur de la conférence Muroya, Koko.
- [Multi angle] Focused proof systems / Auteur de la conférence Miller, Dale.
- [Multi angle] Heterodox exponential modalities in linear logic / Auteur de la conférence Mazza, Damiano.
- [Multi angle] Taylor expansion, at work / Auteur de la conférence Manzonetto, Giulio.
- [Multi angle] Differential linear logic extended to differential operators / Auteur de la conférence Kerjean, Marie.
Bibliographie
Imagette Video
