activity
20142024
most citedUnifying Graded Linear Logic and Differential Operators

2 citations · 5 across the 4 of their papers we have counts for

collaborators
Showing 2015Show all

1 paper · 1 filter

cs.LO2015

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…