TY  - RPRT
TI  - Mackey-complete spaces and power series -- A topological model of Differential Linear Logic
AU  - Marie Kerjean
AU  - Christine Tasson
PY  - 2015
UR  - https://arxiv.org/abs/1507.03262
ID  - 1507.03262
ER  -