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 December 2014Some topics on hypersequents4 December 2014