Paul-André Melliès
CNRS, Université Paris Cité, IRIF
FR
Mathematics
and Interactions
-
4 videos
![A gentle introduction to template games and linear logic]()
45:12published on November 30, 2022A gentle introduction to template games and linear logic
By Paul-André Melliès
![A gentle introduction to template games and linear logic]()
45:12published on November 30, 2022A gentle introduction to template games and linear logic
By Paul-André Melliès
![A Functorial Excursion between Algebraic Geometry and Linear Logic]()
01:01:15published on December 10, 2021A Functorial Excursion between Algebraic Geometry and Linear Logic
By Paul-André Melliès
![Dialogue Games and Logical Proofs in String Diagrams]()
01:08:20published on December 2, 2020Dialogue Games and Logical Proofs in String Diagrams
By Paul-André Melliès
