research
∙
05/04/2023
How To Play The Accordion. On the (Non-)Conservativity of the Reduction Induced by the Taylor Approximation of λ-Terms
The Taylor expansion, which stems from Linear Logic and its differential...
share
research
∙
11/10/2022
