@misc{indiciaea63edb384d1b, title = {Mackey-complete spaces and power series -- A topological model of Differential Linear Logic}, author = {Marie Kerjean and Christine Tasson}, year = {2015}, url = {https://arxiv.org/abs/1507.03262}, note = {Source identifier: 1507.03262} }