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.LO2020
Gentzen-Mints-Zucker duality
Daniel Murfet, William Troiani
The Curry-Howard correspondence is often described as relating proofs (in intutionistic natural deduction) to programs (terms in simply-typed lambda calculus). However this narrati…