Marie Kerjean

17 papers A* 2B 5Journal 7Unranked 2

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Unifying Graded Linear Logic and Differential Operators. Log. Methods Comput. Sci. Flavien Breuvart, Marie Kerjean, Simon Mirwasser
2025	J	`jnl`	Foreword for the special issue "Differential Structures in Computer Science and Mathematics". Math. Struct. Comput. Sci. J. Robin B. Cockett, Geoff S. H. Cruttwell, Marie Kerjean, Jean-Simon Pacaud Lemay
2025	B	`conf`	Functorial Models of Differential Linear Logic. FSCD Marie Kerjean, Valentin Maestracci, Morgan Rogers
2024	B	`conf`	Laplace Distributors and Laplace Transformations for Differential Categories. FSCD Marie Kerjean, Jean-Simon Pacaud Lemay
2024	—	`conf`	Maths with Coq in L1, a pedagogical experiment. ThEdu@CADE Marie Kerjean, Micaela Mayero, Pierre Rousselin
2024	J	`jnl`	Unifying Graded Linear Logic and Differential Operators. CoRR Flavien Breuvart, Marie Kerjean, Simon Mirwasser
2023	B	`ed.`	Proceedings of the 39th Conference on the Mathematical Foundations of Programming Semantics, MFPS XXXIX, Indiana University, Bloomington, IN, USA, June 21-23, 2023 MFPS Marie Kerjean, Paul Blain Levy
2023	A*	`conf`	Taylor Expansion as a Monad in Models of DiLL. LICS Marie Kerjean, Jean-Simon Pacaud Lemay
2023	B	`conf`	Unifying Graded Linear Logic and Differential Operators. FSCD Flavien Breuvart, Marie Kerjean, Simon Mirwasser
2020	—	`conf`	Competing Inheritance Paths in Dependent Type Theory: A Case Study in Functional Analysis. IJCAR (2) Reynald Affeldt, Cyril Cohen, Marie Kerjean, Assia Mahboubi, Damien Rouhling, Kazuhiko Sakaguchi
2019	B	`conf`	Higher-Order Distributions for Differential Linear Logic. FoSSaCS Marie Kerjean, Jean-Simon Pacaud Lemay
2018	A*	`conf`	A Logical Account for Linear Partial Differential Equations. LICS Marie Kerjean
2018	J	`jnl`	Mackey-complete spaces and power series - a topological model of differential linear logic. Math. Struct. Comput. Sci. Marie Kerjean, Christine Tasson
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
2017	J	`jnl`	Models of Linear Logic based on the Schwartz ε-product. CoRR Yoann Dabrowski, Marie Kerjean
2016	J	`jnl`	Weak topologies for Linear Logic. Log. Methods Comput. Sci. Marie Kerjean
2015	J	`jnl`	Mackey-complete spaces and power series - A topological model of Differential Linear Logic. CoRR Marie Kerjean, Christine Tasson