Paul-André Melliès
CNRS, Université Paris Cité, IRIF
FR
Mathématiques
et Interactions
-
4 vidéos
![A gentle introduction to template games and linear logic]()
45:12publiée le 30 novembre 2022A gentle introduction to template games and linear logic
De Paul-André Melliès
![A gentle introduction to template games and linear logic]()
45:12publiée le 30 novembre 2022A gentle introduction to template games and linear logic
De Paul-André Melliès
![A Functorial Excursion between Algebraic Geometry and Linear Logic]()
01:01:15publiée le 10 décembre 2021A Functorial Excursion between Algebraic Geometry and Linear Logic
De Paul-André Melliès
![Dialogue Games and Logical Proofs in String Diagrams]()
01:08:20publiée le 2 décembre 2020Dialogue Games and Logical Proofs in String Diagrams
De Paul-André Melliès
