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é.
Keywords : logique linéaire; algèbres stellaires; normalisation
Codes MSC : Keywords : 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 arXiv category : Logic Domaine : Logic and Foundations Format : MP4 (.mp4) - HD Durée : 01:44:57 Audience : Researchers ; Graduate Students 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 Congrès : 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
