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

Schedule

• Jan. 17, 2013, 15:30 - 16:30