Marie Kerjean
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
4
Active years
2018–2025
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | FSCD | Functorial Models of Differential Linear Logic. | Marie Kerjean, Valentin Maestracci, Morgan Rogers |
| 2024 | FSCD | Laplace Distributors and Laplace Transformations for Differential Categories. | Marie Kerjean, Jean-Simon Pacaud Lemay |
| 2023 | FSCD | Unifying Graded Linear Logic and Differential Operators. | Flavien Breuvart, Marie Kerjean, Simon Mirwasser |
| 2023 | LICS | Taylor Expansion as a Monad in Models of DiLL. | Marie Kerjean, Jean-Simon Pacaud Lemay |
| 2020 | CADE | Competing Inheritance Paths in Dependent Type Theory: A Case Study in Functional Analysis. | Reynald Affeldt, Cyril Cohen, Marie Kerjean, Assia Mahboubi, Damien Rouhling, Kazuhiko Sakaguchi |
| 2019 | FOSSACS | Higher-Order Distributions for Differential Linear Logic. | Marie Kerjean, Jean-Simon Pacaud Lemay |
| 2018 | LICS | A Logical Account for Linear Partial Differential Equations. | Marie Kerjean |