Ugo Dal Lago (Università di Bologna), Infinitary Lambda Calculi from a Linear Perspective

Schedule

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