Showing math.LOShow all
2 papers · 1 filter
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…