2 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.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…