Mardi 30/11/2010, à partir de 11h, en salle Byron Beige.
Orateur : Loïc Pottier.
Titre : L’axiome d’univalence de Voevodsky et l’extensionnalité.
Nov 30 2010
Mardi 30/11/2010, à partir de 11h, en salle Byron Beige.
Orateur : Loïc Pottier.
Titre : L’axiome d’univalence de Voevodsky et l’extensionnalité.