Competing inheritance paths in dependent type theory: a case study in functional analysis R Affeldt, C Cohen, M Kerjean, A Mahboubi, D Rouhling, K Sakaguchi
Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris …, 2020
32 2020 Mackey-complete spaces and power series–a topological model of differential linear logic M Kerjean, C Tasson
Mathematical Structures in Computer Science 28 (4), 472-507, 2018
21 2018 A logical account for linear partial differential equations M Kerjean
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer …, 2018
16 2018 MathComp-Analysis: Mathematical components compliant analysis library R Affeldt, Y Bertot, C Cohen, M Kerjean, A Mahboubi, D Rouhling, P Roux, ...
11 2022 Models of Linear Logic based on the Schwartz -product Y Dabrowski, M Kerjean
arXiv preprint arXiv:1712.07344, 2017
8 2017 Taylor expansion as a monad in models of dill M Kerjean, JSP Lemay
2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-13, 2023
7 2023 Higher-order distributions for differential linear logic M Kerjean, JS Pacaud Lemay
Foundations of Software Science and Computation Structures: 22nd …, 2019
7 2019 Utilisation des assistants de preuves pour l’enseignement en L1 M Kerjean, F Le Roux, P Massot, M Mayero, Z Mesnil, S Modeste, ...
La gazette des mathématiciens 174, 2022
6 2022 ∂ is for Dialectica: Typing Differentiable Programming M Kerjean, PM Pédrot
6 2021 Weak topologies for linear logic M Kerjean
Logical Methods in Computer Science 12, 2016
6 2016 Unifying graded linear logic and differential operators F Breuvart, M Kerjean, S Mirwasser
arXiv preprint arXiv:2402.09138, 2024
4 2024 Reflexive spaces of smooth functions: a logical account of linear partial differential equations M Kerjean
Université Sorbonne Paris Cité, 2018
4 2018 Chiralités et exponentielles: un peu de différentiation E Bauer, M Kerjean
1 2019 Utilisation de Coq pour l'enseignement des mathématiques en L1 et en seconde M Kerjean, M Mayero, P Rousselin
35es Journées Francophones des Langages Applicatifs (JFLA 2024), 2024
2024 Functorial Models of Differential Linear Logic M Kerjean, V Maestracci, M Rogers
2023 33èmes journées francophones des langages applicatifs C Keller, T Bourke, S Blazy, F Bour, G Bury, S Dumbrava, D Gallois-Wong, ...
2022 Chiralities in topological vector spaces M Kerjean
2020 A monadic approach to differentiation M Kerjean
A monadic approach to ressource calculus M Kerjean
The differentiation monad M Kerjean, JSP Lemay
29th International Conference on Types for Proofs and Programs TYPES 2023 …, 0