Marie Kerjean

According to our database, Marie Kerjean authored at least 9 papers between 2016 and 2023.

Collaborative distances:

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

2023

Taylor Expansion as a Monad in Models of DiLL.

Marie Kerjean, Jean-Simon Pacaud Lemay

LICS, 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