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
![Le principe d'univalence: le transfer du raisonnement à traver les equivalence]()
01:02:17published on June 20, 2022Le principe d'univalence: le transfer du raisonnement à traver les equivalence
By Benedikt Ahrens
