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

Christine Tasson, Aymeric Walch

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