3 papers
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…
math.LO2024
Linear Logic and Quantum Error Correcting Codes
Daniel Murfet, William Troiani
We develop a point of view on reduction of multiplicative proof nets based on quantum error-correcting codes. To each proof net we associate a code, in such a way that cut-eliminat…