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

All the collection videos (6)

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

Mathematics
and Interactions

AGCT 2025 - Arithmetic, Geometry, Cryptography and Coding Theory / AGCT 2025 - Arithmétique, Géométrie, Cryptographie et Théorie des Codes

2025 IHES Summer School – Statistical Aspects of Nonlinear Physics

Perfectly matched perspectives on statistical mechanics, combinatorics and geometry / Perspectives couplées sur la mécanique statistique, la combinatoire et la géométrie

Fuzzy Sphere Meets Conformal Bootstrap 2025

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

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

Taylor expansion, at work

Heterodox exponential modalities in linear logic

Focused proof systems

Program semantics with token passing

Differential linear logic extended to differential operators

[1240] La logique continue des corps globalement valués

Meta-complexity - Lecture 3

Meta-complexity - Lecture 2

Meta-complexity - Lecture 1

Topics in Nonlinear Functional Analysis (1/4)