59 citations · 224 across the 22 of their papers we have counts for
1 paper · 2 filters
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…