Jean-Simon Pacaud Lemay

Publication Activity (10 Years)

Years Active: 2018-2024
Publications (10 Years): 30

Top Topics

Top Venues

Appl. Categorical Struct.

Publications

Marie Kerjean, Jean-Simon Pacaud Lemay
Laplace Distributors and Laplace Transformations for Differential Categories. FSCD (2024)
Jean-Simon Pacaud Lemay
A Brief Survey on the Categorical Semantics for Geometry of Interaction In Memory of Phil Scott. ACM SIGLOG News 11 (2) (2024)
Geoff S. H. Cruttwell, Jean-Simon Pacaud Lemay
Reverse Tangent Categories. CSL (2024)
Zeinab Galal, Jean-Simon Pacaud Lemay
Combining fixpoint and differentiation theory. CoRR (2024)
Zeinab Galal, Jean-Simon Pacaud Lemay
Combining fixpoint and differentiation theory. LICS (2024)
Robin Cockett, Jean-Simon Pacaud Lemay
Moore-Penrose Dagger Categories. CoRR (2023)
Robin Cockett, Jean-Simon Pacaud Lemay
Classical Distributive Restriction Categories. CoRR (2023)
Marie Kerjean, Jean-Simon Pacaud Lemay
Taylor Expansion as a Monad in Models of DiLL. LICS (2023)
Jean-Simon Pacaud Lemay
Cartesian Differential Kleisli Categories. CoRR (2023)
Jean-Simon Pacaud Lemay, Jean-Baptiste Vienney
Graded Differential Categories and Graded Differential Linear Logic. CoRR (2023)
Jean-Simon Pacaud Lemay
Jacobians and Gradients for Cartesian Differential Categories. CoRR (2022)
Geoff S. H. Cruttwell, Jonathan Gallagher, Jean-Simon Pacaud Lemay, Dorette Pronk
Monoidal reverse differential categories. Math. Struct. Comput. Sci. 32 (10) (2022)
Geoffrey S. H. Cruttwell, Jonathan Gallagher, Jean-Simon Pacaud Lemay, Dorette Pronk
Monoidal Reverse Differential Categories. CoRR (2022)
Jean-Simon Pacaud Lemay
Coderelictions for Free Exponential Modalities. CALCO (2021)
Mario Alvarez-Picallo, Jean-Simon Pacaud Lemay
Cartesian Difference Categories. Log. Methods Comput. Sci. 17 (3) (2021)
Richard Garner, Jean-Simon Pacaud Lemay
Cartesian Differential Categories as Skew Enriched Categories. Appl. Categorical Struct. 29 (6) (2021)
Jean-Simon Pacaud Lemay
Exponential Functions in Cartesian Differential Categories. Appl. Categorical Struct. 29 (1) (2021)
Mario Alvarez-Picallo, Jean-Simon Pacaud Lemay
Cartesian Difference Categories: Extended Report. CoRR (2020)
Mario Alvarez-Picallo, Jean-Simon Pacaud Lemay
Cartesian Difference Categories. CoRR (2020)
Jean-Simon Pacaud Lemay
Convenient antiderivatives for differential linear categories. Math. Struct. Comput. Sci. 30 (5) (2020)
Richard Blute, J. Robin B. Cockett, Jean-Simon Pacaud Lemay, Robert A. G. Seely
Differential Categories Revisited. Appl. Categorical Struct. 28 (2) (2020)
J. Robin B. Cockett, Jean-Simon Pacaud Lemay, Rory B. B. Lucyshyn-Wright
Tangent Categories from the Coalgebras of Differential Categories. CSL (2020)
Mario Alvarez-Picallo, Jean-Simon Pacaud Lemay
Cartesian Difference Categories. FoSSaCS (2020)
J. Robin B. Cockett, Jean-Simon Pacaud Lemay
Linearizing Combinators. CoRR (2020)
J. Robin B. Cockett, Geoff S. H. Cruttwell, Jonathan Gallagher, Jean-Simon Pacaud Lemay, Benjamin MacAdam, Gordon D. Plotkin, Dorette Pronk
Reverse Derivative Categories. CSL (2020)
Marie Kerjean, Jean-Simon Pacaud Lemay
Higher-Order Distributions for Differential Linear Logic. FoSSaCS (2019)
Jean-Simon Pacaud Lemay
Why FHilb is Not an Interesting (Co)Differential Category. QPL (2019)
J. Robin B. Cockett, Geoff S. H. Cruttwell, Jonathan Gallagher, Jean-Simon Pacaud Lemay, Benjamin MacAdam, Gordon D. Plotkin, Dorette Pronk
Reverse derivative categories. CoRR (2019)
Jean-Simon Pacaud Lemay
Lifting Coalgebra Modalities and MELL Model Structure to Eilenberg-Moore Categories. Log. Methods Comput. Sci. 15 (4) (2019)
Jean-Simon Pacaud Lemay
Lifting Coalgebra Modalities and IMELL Model Structure to Eilenberg-Moore Categories. FSCD (2018)