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

Programme