Marie Kerjean

According to our database, Marie Kerjean authored at least 13 papers between 2016 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Functorial Models of Differential Linear Logic.

Marie Kerjean, Valentin Maestracci, Morgan Rogers

Proceedings of the 10th International Conference on Formal Structures for Computation and Deduction, 2025

2024

Maths with Coq in L1, a pedagogical experiment.

Marie Kerjean, Micaela Mayero, Pierre Rousselin

Proceedings of the Proceedings The 13th International Workshop on Theorem proving components for Educational software, May, 2024

δ is for Dialectica.

Marie Morgane Kerjean, Pierre-Marie Pédrot

Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science, 2024

Laplace Distributors and Laplace Transformations for Differential Categories.

Marie Kerjean, Jean-Simon Pacaud Lemay

Proceedings of the 9th International Conference on Formal Structures for Computation and Deduction, 2024

2023

Taylor Expansion as a Monad in Models of DiLL.

Marie Kerjean, Jean-Simon Pacaud Lemay

Proceedings of the 38th Annual ACM/IEEE Symposium on Logic in Computer Science, 2023

Unifying Graded Linear Logic and Differential Operators.

Flavien Breuvart, Marie Kerjean, Simon Mirwasser

Proceedings of the 8th International Conference on Formal Structures for Computation and Deduction, 2023

2020

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

Proceedings of the Automated Reasoning - 10th International Joint Conference, 2020

2019

Higher-Order Distributions for Differential Linear Logic.

Marie Kerjean, Jean-Simon Pacaud Lemay

Proceedings of the Foundations of Software Science and Computation Structures, 2019

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

PhD thesis, 2018

Mackey-complete spaces and power series - a topological model of differential linear logic.

Marie Kerjean, Christine Tasson

Math. Struct. Comput. Sci., 2018

A Logical Account for Linear Partial Differential Equations.

Marie Kerjean

Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, 2018

2017

Models of Linear Logic based on the Schwartz ε-product.

Yoann Dabrowski, Marie Kerjean

CoRR, 2017

2016

Weak topologies for Linear Logic.

Marie Kerjean

Log. Methods Comput. Sci., 2016