Mathématiques
et Interactions
-
Les vidéos associées à Logique en informatiqueVoir +
![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
![Formalisation mathématique et types dépendants : Le point vue d'un utilisateur mathématicien]()
01:03:33publiée le 20 juin 2022Formalisation mathématique et types dépendants : Le point vue d'un utilisateur mathématicien
De Patrick Massot
