Jean-Simon Lemay

Orcid: 0000-0003-4124-3722

According to our database1, Jean-Simon Lemay authored at least 30 papers between 2016 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
A Brief Survey on the Categorical Semantics for Geometry of Interaction In Memory of Phil Scott.
ACM SIGLOG News, April, 2024

Combining fixpoint and differentiation theory.
Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science, 2024

Laplace Distributors and Laplace Transformations for Differential Categories.
Proceedings of the 9th International Conference on Formal Structures for Computation and Deduction, 2024

Reverse Tangent Categories.
Proceedings of the 32nd EACSL Annual Conference on Computer Science Logic, 2024

2023
Moore-Penrose Dagger Categories.
Proceedings of the Twentieth International Conference on Quantum Physics and Logic, 2023

Cartesian Differential Kleisli Categories.
Proceedings of the 39th Conference on the Mathematical Foundations of Programming Semantics, 2023

Classical Distributive Restriction Categories.
CoRR, 2023

Graded Differential Categories and Graded Differential Linear Logic.
Proceedings of the 39th Conference on the Mathematical Foundations of Programming Semantics, 2023

Taylor Expansion as a Monad in Models of DiLL.
Proceedings of the 38th Annual ACM/IEEE Symposium on Logic in Computer Science, 2023

2022
Monoidal reverse differential categories.
Math. Struct. Comput. Sci., November, 2022

2021
Cartesian Difference Categories.
Log. Methods Comput. Sci., 2021

Jacobians and Gradients for Cartesian Differential Categories.
Proceedings of the Fourth International Conference on Applied Category Theory, 2021

Exponential Functions in Cartesian Differential Categories.
Appl. Categorical Struct., 2021

Cartesian Differential Categories as Skew Enriched Categories.
Appl. Categorical Struct., 2021

Differential Equations in a Tangent Category I: Complete Vector Fields, Flows, and Exponentials.
Appl. Categorical Struct., 2021

Coderelictions for Free Exponential Modalities.
Proceedings of the 9th Conference on Algebra and Coalgebra in Computer Science, 2021

2020
Convenient antiderivatives for differential linear categories.
Math. Struct. Comput. Sci., 2020

Linearizing Combinators.
CoRR, 2020

Cartesian Difference Categories: Extended Report.
CoRR, 2020

Differential Categories Revisited.
Appl. Categorical Struct., 2020

Tangent Categories from the Coalgebras of Differential Categories.
Proceedings of the 28th EACSL Annual Conference on Computer Science Logic, 2020

Reverse Derivative Categories.
Proceedings of the 28th EACSL Annual Conference on Computer Science Logic, 2020

2019
Integral categories and calculus categories.
Math. Struct. Comput. Sci., 2019

Lifting Coalgebra Modalities and MELL Model Structure to Eilenberg-Moore Categories.
Log. Methods Comput. Sci., 2019

Why FHilb is Not an Interesting (Co)Differential Category.
Proceedings of the Proceedings 16th International Conference on Quantum Physics and Logic, 2019

Higher-Order Distributions for Differential Linear Logic.
Proceedings of the Foundations of Software Science and Computation Structures, 2019

2018
Cartesian Integral Categories and Contextual Integral Categories.
Proceedings of the Thirty-Fourth Conference on the Mathematical Foundations of Programming Semantics, 2018

Lifting Coalgebra Modalities and IMELL Model Structure to Eilenberg-Moore Categories.
Proceedings of the 3rd International Conference on Formal Structures for Computation and Deduction, 2018

2017
There Is Only One Notion of Differentiation.
Proceedings of the 2nd International Conference on Formal Structures for Computation and Deduction, 2017

2016
The Shuffle Quasimonad and Modules with Differentiation and Integration.
Proceedings of the Thirty-second Conference on the Mathematical Foundations of Programming Semantics, 2016


  Loading...