2 papers
cs.LO2023
How to play the Accordion: Uniformity and the (non-)conservativity of the linear approximation of the λ-calculus (extended version)
Rémy Cerda, Lionel Vaux Auclair
Twenty years after its introduction by Ehrhard and Regnier, differentiation in -calculus and in linear logic is now a celebrated tool. In particular, it allows to establish a Ta…
cs.LO2022
Finitary Simulation of Infinitary -Reduction via Taylor Expansion, and Applications
Rémy Cerda, Lionel Vaux Auclair
Originating in Girard's Linear logic, Ehrhard and Regnier's Taylor expansion of -terms has been broadly used as a tool to approximate the terms of several variants of the -ca…