Dale Miller, On Subexponentials, Synthetic Connectives, and Multi-Level Delimited Control

Schedule

• Feb. 2, 2016, 9:30 - 10:00

Abstract