Thomas Ehrhard (CNRS-Université Paris 7), On call-by-push-value and linear logic

Schedule

• Feb. 3, 2016, 11:45 - 12:30