Barbara Petit (Inria Rhône-Alpes), Geometry of types

Programme