arXiv 2017-12-20 EN Models of Linear Logic based on the Schwartz ε-product Dabrowski, Yoann · Kerjean, Marie
