Absolute convergence and Taylor expansion in web based models of Linear Logic
This work addresses a gap in the differential λ-calculus for theoretical computer science, offering incremental advancements by extending existing frameworks to cover previously excluded models.
The paper tackles the problem of extending Taylor expansion theory to web-based models of linear logic, including Köthe spaces and finiteness spaces, by providing a generic construction for models with partial sums and generalizing the theory to handle non-positive coefficients, resulting in a unified proof that these models support Taylor expansion.
The differential $λ$-calculus studies how the quantitative aspects of programs correspond to differentiation and to Taylor expansion inside models of linear logic. Recent work has generalized the axioms of Taylor expansion so they apply to many models that only feature partial sums. However, that work does not cover the classic web based models of K{ö}the spaces and finiteness spaces . First, we provide a generic construction of web based models with partial sums. It captures models, ranging from coherence spaces to probabilistic coherence spaces, finiteness spaces and K{ö}the spaces. Second, we generalize the theory of Taylor expansion to models in which coefficients can be non-positive. We then use our generic web model construction to provide a unified proof that all the aforementioned web based models feature such Taylor expansion.