Mackey-complete spaces and power series -- A topological model of Differential Linear Logic

Marie Kerjean, Christine Tasson

In this paper, we have described a denotational model of Intuitionist Linear Logic which is also a differential category. Formulas are interpreted as Mackey-complete topological ve…