Absolute convergence and Taylor expansion in web based models of Linear Logic
Fuente:
arXiv
Guardado en:
| Autores principales: | , |
|---|---|
| Formato: | Preprint |
| Publicado: |
2026
|
| Materias: | |
| Acceso en línea: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| _version_ | 1866914424449662976 |
|---|---|
| author | Tasson, Christine Walch, Aymeric |
| author_facet | Tasson, Christine Walch, Aymeric |
| contents | 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. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2603_25215 |
| institution | arXiv |
| publishDate | 2026 |
| record_format | arxiv |
| spellingShingle | Absolute convergence and Taylor expansion in web based models of Linear Logic Tasson, Christine Walch, Aymeric Logic in Computer Science 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. |
| title | Absolute convergence and Taylor expansion in web based models of Linear Logic |
| topic | Logic in Computer Science |
| url | https://arxiv.org/abs/2603.25215 |