Mathematics
and Interactions
-
Videos linked to Logic in Computer ScienceMore +
![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
![Formalisation mathématique et types dépendants : Le point vue d'un utilisateur mathématicien]()
01:03:33published on June 20, 2022Formalisation mathématique et types dépendants : Le point vue d'un utilisateur mathématicien
By Patrick Massot
