Français
Deux ou trois choses que je sais d'elle : la logique
Multi angle
Authors : Girard, Jean-Yves (Author of the conference)
CIRM (Publisher )
03B70 - Logic of programming, See also {68Q55, 68Q60}
03F03 - Proof theory, general
03F52 - Linear logic and other substructural logics
Additional resources :
https://www.cirm-math.fr/RepOrga/2685/Slides/Cirm2022.pdf
CIRM (Publisher )
Loading the player...
|
Abstract :
Nul besoin de système logique, telle est la leçon de la linéarité.
Keywords : logique linéaire; algèbres stellaires; normalisation
MSC Codes : 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
Additional resources :
https://www.cirm-math.fr/RepOrga/2685/Slides/Cirm2022.pdf
|
Information on the Video
Film maker : Hennenfent, GuillaumeLanguage : French Available date : 14/02/2022 Conference Date : 28/01/2022 Subseries : Research School arXiv category : Logic Mathematical Area(s) : Logic and Foundations Format : MP4 (.mp4) - HD Video Time : 01:44:57 Targeted Audience : Researchers ; Graduate Students Download : https://videos.cirm-math.fr/2022-01-28_Girard.mp4 
|
Information on the Event
Event Title : Linear Logic Winter School / École d'hiver de logique linéaireEvent Organizers : Tortora de Falco, Lorenzo ; Vaux Auclair, Lionel Dates : 24/01/2022 - 28/01/2022 Event Year : 2022 Event URL : https://conferences.cirm-math.fr/2685.html
Citation Data
DOI : 10.24350/CIRM.V.19882403Cite this video as: 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 |
See Also
- [Virtualconference] Program semantics with token passing / Author of the conference Muroya, Koko.
- [Multi angle] Focused proof systems / Author of the conference Miller, Dale.
- [Multi angle] Heterodox exponential modalities in linear logic / Author of the conference Mazza, Damiano.
- [Multi angle] Taylor expansion, at work / Author of the conference Manzonetto, Giulio.
- [Multi angle] Differential linear logic extended to differential operators / Author of the conference Kerjean, Marie.
Bibliography
Imagette Video
