Mathématiques
et Interactions
-
Les vidéos associées à linear logicVoir +
![Differential linear logic extended to differential operators]()
24:39publiée le 14 février 2022Differential linear logic extended to differential operators
De Marie Kerjean
![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
