Séminaire CHoCoLa : Curry-Howard, Calcul et Logique (TBA) Date(s) : 04/12/2014 iCal14 h 00 min - 15 h 00 min TBA Catégories Pas de Catégories