Audience > Researchers
postdocs and senior researchers
Mathématiques
et Interactions
-
Les vidéos associées à ResearchersVoir +
![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
![Le principe d'univalence: le transfer du raisonnement à traver les equivalence]()
01:02:17publiée le 20 juin 2022Le principe d'univalence: le transfer du raisonnement à traver les equivalence
De Benedikt Ahrens
