Linear Logic Winter School / École d'hiver de logique linéaire

Collection Linear Logic Winter School / École d'hiver de logique linéaire

Organizer(s) Tortora de Falco, Lorenzo ; Vaux Auclair, Lionel

Date(s) 24/01/2022 - 28/01/2022

linked URL https://conferences.cirm-math.fr/2685.html

00:00:00 / 00:00:00

1 6

Deux ou trois choses que je sais d'elle : la logique

By Jean-Yves Girard

Nul besoin de système logique, telle est la leçon de la linéarité.

Information about the video

Date of recording 28/01/2022
Date of publication 14/02/2022
Institution CIRM
Licence CC BY NC ND
Language French
Audience Researchers, Graduate Students
Director(s) Guillaume Hennenfent
Format MP4

Citation data

DOI 10.24350/CIRM.V.19882403
Cite this video 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

Domain(s)

Logic

MSC codes

Document(s)

https://www.cirm-math.fr/RepOrga/2685/Slides/Cirm2022.pdf

Last related questions on MathOverflow

You have to connect your Carmin.tv account with mathoverflow to add question

Ask a question on MathOverflow

All the collection videos

01:44:57

published on February 14, 2022

Deux ou trois choses que je sais d'elle : la logique

By Jean-Yves Girard

31:21

published on February 14, 2022

Taylor expansion, at work

By Giulio Manzonetto

34:22

published on February 14, 2022

Heterodox exponential modalities in linear logic

By Damiano Mazza

28:43

published on February 14, 2022

Focused proof systems

By Dale Miller

28:47

published on February 14, 2022

Program semantics with token passing

By Koko Muroya

24:39

published on February 14, 2022

Differential linear logic extended to differential operators

By Marie Kerjean

Copyright Carmin.tv 2024

Give feedback