Simona Ronchi Della Rocca (Università di Torino), Intersection types

Schedule

• Feb. 2, 2016, 10:15 - 10:45