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

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

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

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

URL associée 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

De Jean-Yves Girard

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

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)

Logique

Codes MSC

Document(s)

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

Dernières questions liées sur MathOverflow

Pour poser une question, votre compte Carmin.tv doit être connecté à mathoverflow

Poser une question sur MathOverflow

Toutes les vidéos de la collection

01:44:57

publiée le 14 février 2022

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

De Jean-Yves Girard

31:21

publiée le 14 février 2022

Taylor expansion, at work

De Giulio Manzonetto

34:22

publiée le 14 février 2022

Heterodox exponential modalities in linear logic

De Damiano Mazza

28:43

publiée le 14 février 2022

Focused proof systems

De Dale Miller

28:47

publiée le 14 février 2022

Program semantics with token passing

De Koko Muroya

24:39

publiée le 14 février 2022

Differential linear logic extended to differential operators

De Marie Kerjean

Copyright Carmin.tv 2026

Donner son avis