1 citations · 1 across the 2 of their papers we have counts for
3 papers
cs.LO2024
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…
cs.LO2017★ 1 cited
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…
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…