Godfroy Hubert, Linear logic for staged computation

Schedule

• Feb. 3, 2016, 10:00 - 10:30