Exposés

11:00: Zeinab Galal (IRIF, Paris 7), Espèces de structures et λ-calcul différentiel