2 citations · 5 across the 4 of their papers we have counts for
4 papers
Unifying Graded Linear Logic and Differential Operators
Flavien Breuvart, Marie Kerjean, Simon Mirwasser
Linear Logic refines Intuitionnistic Logic by taking into account the resources used during the proof and program computation. In the past decades, it has been extended to various…
Models of Linear Logic based on the Schwartz -product
Yoann Dabrowski, Marie Kerjean
From the interpretation of Linear Logic multiplicative disjunction as the -product defined by Laurent Schwartz, we construct several models of Differential Linear Logi…
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…
Weak topologies for Linear Logic
Marie Kerjean
We construct a denotational model of linear logic, whose objects are all the locally convex and separated topological vector spaces endowed with their weak topology. The negation i…