Showing 2025Show all
2 papers · 1 filter
cs.LO2025
Programs as Singularities
Daniel Murfet, Will Troiani
We develop a correspondence between the structure of Turing machines and the structure of singularities of real analytic functions, based on connecting the Ehrhard-Regnier derivati…
math.LO2025
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…