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