Séminaire CHoCoLa : Curry-Howard, Calcul et Logique (TBA) Date(s) : 04/12/2014 iCal14h00 - 15h00 TBA Catégories Pas de Catégories Transition systems over games4 décembre 2014Some topics on hypersequents4 décembre 2014