Absolute convergence and Taylor expansion in web based models of Linear Logic

Christine Tasson, Aymeric Walch

The differential $\lambda$-calculus studies how the quantitative aspects of programs correspond to differentiation and to Taylor expansion inside models of linear logic. Recent work has…