Linear Logic and the Hilbert Scheme

William Troiani, Daniel Murfet

We introduce a geometric model of shallow multiplicative exponential linear logic (MELL) using the Hilbert scheme. Building on previous work interpreting multiplicative linear logi…