Autour de la méthode du cercle Date(s) : 26/01/2017 iCal14h00 - 15h00 Catégories Pas de Catégories Deciding simply-typed equivalence with sums and the empty type26 janvier 2017Tous les coefficients de diffusion sont atteints par le windtree27 janvier 2017