Models of Linear Logic based on the Schwartz $\epsilon$-product

Yoann Dabrowski, Marie Kerjean

From the interpretation of Linear Logic multiplicative disjunction as the $\epsilon$-product defined by Laurent Schwartz, we construct several models of Differential Linear Logi…