Mathematics
and Interactions
-
Videos linked to linear logicMore +
![Differential linear logic extended to differential operators]()
24:39published on February 14, 2022Differential linear logic extended to differential operators
By Marie Kerjean
![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
