Marie Kerjean

Publication Activity (10 Years)

Years Active: 2015-2024
Publications (10 Years): 10

Top Topics

Differential Operators

Cut Elimination

Proof Theoretic

Top Venues

Sorbonne Paris Cité, France (PHD)

Education History

Sorbonne Paris Cité, France

PHD

Publications

Marie Kerjean, Jean-Simon Pacaud Lemay
Laplace Distributors and Laplace Transformations for Differential Categories. FSCD (2024)
Flavien Breuvart, Marie Kerjean, Simon Mirwasser
Unifying Graded Linear Logic and Differential Operators. CoRR (2024)
Flavien Breuvart, Marie Kerjean, Simon Mirwasser
Unifying Graded Linear Logic and Differential Operators. FSCD (2023)
Marie Kerjean, Jean-Simon Pacaud Lemay
Taylor Expansion as a Monad in Models of DiLL. LICS (2023)
Reynald Affeldt, Cyril Cohen, Marie Kerjean, Assia Mahboubi, Damien Rouhling, Kazuhiko Sakaguchi
Competing Inheritance Paths in Dependent Type Theory: A Case Study in Functional Analysis. IJCAR (2) (2020)
Marie Kerjean, Jean-Simon Pacaud Lemay
Higher-Order Distributions for Differential Linear Logic. FoSSaCS (2019)
Marie Kerjean, Christine Tasson
Mackey-complete spaces and power series - a topological model of differential linear logic. Math. Struct. Comput. Sci. 28 (4) (2018)
Marie Kerjean
A Logical Account for Linear Partial Differential Equations. LICS (2018)
Yoann Dabrowski, Marie Kerjean
Models of Linear Logic based on the Schwartz ε-product. CoRR (2017)
Marie Kerjean
Weak topologies for Linear Logic. Log. Methods Comput. Sci. 12 (1) (2016)
Marie Kerjean, Christine Tasson
Mackey-complete spaces and power series - A topological model of Differential Linear Logic. CoRR (2015)