Talk page

Title:
Formalisation mathématique et types dépendants : Le point vue d'un (...)

Speaker:
Patrick Massot

Link:
https://www.youtube.com/watch?v=BGuLHh3dTxk