Jean-Simon Lemay

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

Collaborative distances:

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

2024

A Brief Survey on the Categorical Semantics for Geometry of Interaction In Memory of Phil Scott.

Jean-Simon Pacaud Lemay

ACM SIGLOG News, April, 2024

Combining fixpoint and differentiation theory.

Zeinab Galal, Jean-Simon Pacaud Lemay

Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science, 2024

Laplace Distributors and Laplace Transformations for Differential Categories.

Marie Kerjean, Jean-Simon Pacaud Lemay

Proceedings of the 9th International Conference on Formal Structures for Computation and Deduction, 2024

Reverse Tangent Categories.

Geoff S. H. Cruttwell, Jean-Simon Pacaud Lemay

Proceedings of the 32nd EACSL Annual Conference on Computer Science Logic, 2024

2023

Moore-Penrose Dagger Categories.

J. Robin B. Cockett, Jean-Simon Pacaud Lemay

Proceedings of the Twentieth International Conference on Quantum Physics and Logic, 2023

Cartesian Differential Kleisli Categories.

Jean-Simon Pacaud Lemay

Proceedings of the 39th Conference on the Mathematical Foundations of Programming Semantics, 2023

Classical Distributive Restriction Categories.

J. Robin B. Cockett, Jean-Simon Pacaud Lemay

CoRR, 2023

Graded Differential Categories and Graded Differential Linear Logic.

Jean-Simon Pacaud Lemay, Jean-Baptiste Vienney

Proceedings of the 39th Conference on the Mathematical Foundations of Programming Semantics, 2023

Taylor Expansion as a Monad in Models of DiLL.

Marie Kerjean, Jean-Simon Pacaud Lemay

Proceedings of the 38th Annual ACM/IEEE Symposium on Logic in Computer Science, 2023

2022

Monoidal reverse differential categories.

Geoff S. H. Cruttwell, Jonathan Gallagher, Jean-Simon Pacaud Lemay, Dorette Pronk

Math. Struct. Comput. Sci., November, 2022

2021

Cartesian Difference Categories.

Mario Alvarez-Picallo, Jean-Simon Pacaud Lemay

Log. Methods Comput. Sci., 2021

Jacobians and Gradients for Cartesian Differential Categories.

Jean-Simon Pacaud Lemay

Proceedings of the Fourth International Conference on Applied Category Theory, 2021

Exponential Functions in Cartesian Differential Categories.

Jean-Simon Pacaud Lemay

Appl. Categorical Struct., 2021

Cartesian Differential Categories as Skew Enriched Categories.

Richard Garner, Jean-Simon Pacaud Lemay

Appl. Categorical Struct., 2021

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

J. Robin B. Cockett, Geoff S. H. Cruttwell, Jean-Simon Lemay

Appl. Categorical Struct., 2021

Coderelictions for Free Exponential Modalities.

Jean-Simon Pacaud Lemay

Proceedings of the 9th Conference on Algebra and Coalgebra in Computer Science, 2021

2020

Convenient antiderivatives for differential linear categories.

Jean-Simon Pacaud Lemay

Math. Struct. Comput. Sci., 2020

Linearizing Combinators.

J. Robin B. Cockett, Jean-Simon Pacaud Lemay

CoRR, 2020

Cartesian Difference Categories: Extended Report.

Mario Alvarez-Picallo, Jean-Simon Pacaud Lemay

CoRR, 2020

Differential Categories Revisited.

Richard Blute, J. Robin B. Cockett, Jean-Simon Pacaud Lemay, Robert A. G. Seely

Appl. Categorical Struct., 2020

Tangent Categories from the Coalgebras of Differential Categories.

J. Robin B. Cockett, Jean-Simon Pacaud Lemay, Rory B. B. Lucyshyn-Wright

Proceedings of the 28th EACSL Annual Conference on Computer Science Logic, 2020

Reverse Derivative Categories.

J. Robin B. Cockett, Geoff S. H. Cruttwell, Jonathan Gallagher, Jean-Simon Pacaud Lemay, Benjamin MacAdam, Gordon D. Plotkin, Dorette Pronk

Proceedings of the 28th EACSL Annual Conference on Computer Science Logic, 2020

2019

Integral categories and calculus categories.

J. Robin B. Cockett, Jean-Simon Lemay

Math. Struct. Comput. Sci., 2019

Lifting Coalgebra Modalities and MELL Model Structure to Eilenberg-Moore Categories.

Jean-Simon Pacaud Lemay

Log. Methods Comput. Sci., 2019

Why FHilb is Not an Interesting (Co)Differential Category.

Jean-Simon Pacaud Lemay

Proceedings of the Proceedings 16th International Conference on Quantum Physics and Logic, 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

Cartesian Integral Categories and Contextual Integral Categories.

J. Robin B. Cockett, Jean-Simon Lemay

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.

Jean-Simon Pacaud Lemay

Proceedings of the 3rd International Conference on Formal Structures for Computation and Deduction, 2018

2017

There Is Only One Notion of Differentiation.

J. Robin B. Cockett, Jean-Simon Lemay

Proceedings of the 2nd International Conference on Formal Structures for Computation and Deduction, 2017

2016

The Shuffle Quasimonad and Modules with Differentiation and Integration.

Marc Bagnol, Richard Blute, J. Robin B. Cockett, J. S. Lemay

Proceedings of the Thirty-second Conference on the Mathematical Foundations of Programming Semantics, 2016