Weak topologies for Linear Logic. - Marie Kerjean (Log. Methods Comput. Sci., 2016)

Models of Linear Logic based on the Schwartz ε-product. - Yoann Dabrowski; Marie Kerjean (CoRR, 2017)

A Logical Account for Linear Partial Differential Equations. - Marie Kerjean (LICS, 2018)

Mackey-complete spaces and power series - a topological model of differential linear logic. - Marie Kerjean; Christine Tasson (Math. Struct. Comput. Sci., 2018)

Reflexive spaces of smooth functions : a logical account of linear partial differential equations. (Espaces réflexifs de fonctions lisses : un compte rendu logique des équations aux dérivées partielles linéaires). - Marie Kerjean (2018)

Higher-Order Distributions for Differential Linear Logic. - Marie Kerjean; Jean-Simon Pacaud Lemay (FoSSaCS, 2019)

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 (IJCAR (2), 2020)

Unifying Graded Linear Logic and Differential Operators. - Flavien Breuvart; Marie Kerjean; Simon Mirwasser (FSCD, 2023)

Taylor Expansion as a Monad in Models of DiLL. - Marie Kerjean; Jean-Simon Pacaud Lemay (LICS, 2023)

Laplace Distributors and Laplace Transformations for Differential Categories. - Marie Kerjean; Jean-Simon Pacaud Lemay (FSCD, 2024)

δ is for Dialectica. - Marie Morgane Kerjean; Pierre-Marie Pédrot (LICS, 2024)

Maths with Coq in L1, a pedagogical experiment. - Marie Kerjean; Micaela Mayero; Pierre Rousselin (ThEdu@CADE, 2024)

Functorial Models of Differential Linear Logic. - Marie Kerjean; Valentin Maestracci; Morgan Rogers (FSCD, 2025)