Deux ou trois choses que je sais d'elle : la logique
Appears in collection : Linear Logic Winter School / École d'hiver de logique linéaire
Nul besoin de système logique, telle est la leçon de la linéarité.
Mathematics
and Interactions
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)
MSC codes
Document(s)
Last related questions on MathOverflow
You have to connect your Carmin.tv account with mathoverflow to add questionAsk a question on MathOverflow
-
Most seen
![Beauty of Life seen through Keyhole of Mathematics (4/4)]()
02:09:55published on April 16, 2024Beauty of Life seen through Keyhole of Mathematics (4/4)
By Misha Gromov
![Lipschitz-Killing curvatures of excursion sets for two dimensional random fields]()
published on April 18, 2024Lipschitz-Killing curvatures of excursion sets for two dimensional random fields
By Céline Duval
![Cohomology of real algebraic varieties and sums of squares]()
published on April 15, 2024Cohomology of real algebraic varieties and sums of squares
By Olivier Benoist
![Imaginary Liouville conformal field theory]()
Register
- Bookmark videos
- Add videos to see later &
keep your browsing history - Comment with the scientific
community - Get notification updates
for your favorite subjects
