JS Pacaud Lemay : Publications
-
[1]
Jean−Simon Pacaud Lemay
In Logical Methods in Computer Science. Vol. Volume 15‚ Issue 4. November, 2019.
-
[2]
A tangent category alternative to the Faa di Bruno construction
Jean−Simon Pacaud Lemay
In Theory and Applications of Categories. Vol. 33. No. 35. Pages 1072–1110. 2018.
Details about A tangent category alternative to the Faa di Bruno construction | BibTeX data for A tangent category alternative to the Faa di Bruno construction | Link to A tangent category alternative to the Faa di Bruno construction
-
[3]
Cartesian Integral Categories and Contextual Integral Categories
J. Robin B. Cockett and Jean−Simon Pacaud Lemay
In Electronic Notes in Theoretical Computer Science. Vol. 341. Pages 45 − 72. 2018.
Proceedings of the Thirty−Fourth Conference on the Mathematical Foundations of Programming Semantics (MFPS XXXIV)
Details about Cartesian Integral Categories and Contextual Integral Categories | BibTeX data for Cartesian Integral Categories and Contextual Integral Categories | DOI (https://doi.org/10.1016/j.entcs.2018.11.004) | Link to Cartesian Integral Categories and Contextual Integral Categories
-
[4]
Convenient Antiderivatives For Differential Linear Categories
Jean−Simon Pacaud Lemay
In arXiv preprint arXiv:1808.08513. 2018.
Details about Convenient Antiderivatives For Differential Linear Categories | BibTeX data for Convenient Antiderivatives For Differential Linear Categories | Link to Convenient Antiderivatives For Differential Linear Categories
-
[5]
Differential Categories Revisited
R. F. Blute‚ J. R. B. Cockett‚ J.−S. P. Lemay and R. A. G. Seely
In Applied Categorical Structures. July, 2019.
Details about Differential Categories Revisited | BibTeX data for Differential Categories Revisited | DOI (10.1007/s10485-019-09572-y) | Link to Differential Categories Revisited
-
[6]
Differential Categories Revisited
Richard F. Blute J. Robin B. Cockett R.A.G. Seely and Jean−Simon Pacaud Lemay
In arXiv preprint arXiv:1806.04804. 2018.
Details about Differential Categories Revisited | BibTeX data for Differential Categories Revisited | Link to Differential Categories Revisited
-
[7]
Differential algebras in codifferential categories
Jean−Simon Pacaud Lemay
In Journal of Pure and Applied Algebra. 2019.
Details about Differential algebras in codifferential categories | BibTeX data for Differential algebras in codifferential categories | DOI (https://doi.org/10.1016/j.jpaa.2019.01.005) | Link to Differential algebras in codifferential categories
-
[8]
Differential equations in a tangent category I: Complete vector fields‚ flows‚ and exponentials
J. R. B. Cockett‚ G. S. H. Cruttwell and J. −S. P. Lemay
2019.
Details about Differential equations in a tangent category I: Complete vector fields‚ flows‚ and exponentials | BibTeX data for Differential equations in a tangent category I: Complete vector fields‚ flows‚ and exponentials
-
[9]
Exponential Functions in Cartesian Differential Categories
Jean−Simon Pacaud Lemay
2019.
Details about Exponential Functions in Cartesian Differential Categories | BibTeX data for Exponential Functions in Cartesian Differential Categories
-
[10]
Higher−Order Distributions for Differential Linear Logic
Marie Kerjean and Jean−Simon Pacaud Lemay
In Mikołaj Bojańczyk and Alex Simpson, editors, Foundations of Software Science and Computation Structures. Pages 330–347. Cham. 2019. Springer International Publishing.
Details about Higher−Order Distributions for Differential Linear Logic | BibTeX data for Higher−Order Distributions for Differential Linear Logic
-
[11]
Integral and differential structure on the free Cinfty −ring modality
GSH Cruttwell‚ J−SP Lemay and RBB Lucyshyn−Wright
In arXiv preprint arXiv:1902.04555. 2019.
Details about Integral and differential structure on the free Cinfty −ring modality | BibTeX data for Integral and differential structure on the free Cinfty −ring modality
-
[12]
Integral categories and calculus categories
J. Robin B. Cockett and Jean−Simon Pacaud Lemay
In Mathematical Structures in Computer Science. Vol. 29. No. 2. Pages 243−308. 2019.
Details about Integral categories and calculus categories | BibTeX data for Integral categories and calculus categories | DOI (10.1017/S0960129518000014) | Link to Integral categories and calculus categories
-
[13]
Lifting Coalgebra Modalities and mathsf MELL Model Structure to Eilenberg−Moore Categories
Jean−Simon Pacaud Lemay
In arXiv preprint arXiv:1804.11116. 2018.
Details about Lifting Coalgebra Modalities and mathsf MELL Model Structure to Eilenberg−Moore Categories | BibTeX data for Lifting Coalgebra Modalities and mathsf MELL Model Structure to Eilenberg−Moore Categories | Link to Lifting Coalgebra Modalities and mathsf MELL Model Structure to Eilenberg−Moore Categories
-
[14]
Lifting Coalgebra Modalities and IMELL Model Structure to Eilenberg−Moore Categories
Jean−Simon Pacaud Lemay
In 3rd International Conference on Formal Structures for Computation and Deduction‚ FSCD 2018‚ July 9−12‚ 2018‚ Oxford‚ UK. Pages 21:1–21:20. 2018.
Details about Lifting Coalgebra Modalities and IMELL Model Structure to Eilenberg−Moore Categories | BibTeX data for Lifting Coalgebra Modalities and IMELL Model Structure to Eilenberg−Moore Categories | DOI (10.4230/LIPIcs.FSCD.2018.21) | Link to Lifting Coalgebra Modalities and IMELL Model Structure to Eilenberg−Moore Categories
-
[15]
Linear Distributivity With Negation‚ Star−Autonomy‚ and Hopf Monads
Masahito Hasegawa and Jean−Simon Pacaud Lemay
In Theory and Applications of Categories. Vol. 33. No. 37. Pages 1145–1157. 2018.
Details about Linear Distributivity With Negation‚ Star−Autonomy‚ and Hopf Monads | BibTeX data for Linear Distributivity With Negation‚ Star−Autonomy‚ and Hopf Monads | Link to Linear Distributivity With Negation‚ Star−Autonomy‚ and Hopf Monads
-
[16]
Reverse derivative categories
Robin Cockett‚ Geoffrey Cruttwell‚ Jonathan Gallagher‚ Jean−Simon Pacaud Lemay‚ Benjamin MacAdam‚ Gordon Plotkin and Dorette Pronk
2019.
Details about Reverse derivative categories | BibTeX data for Reverse derivative categories
-
[17]
Tangent Categories from the Coalgebras of Differential Categories
Robin Cockett‚ Jean−Simon Pacaud Lemay and Rory B. B. Lucyshyn−Wright
2019.
Details about Tangent Categories from the Coalgebras of Differential Categories | BibTeX data for Tangent Categories from the Coalgebras of Differential Categories
-
[18]
The Shuffle Quasimonad and Modules with Differentiation and Integration
Marc Bagnol‚ Richard Blute‚ J. Robin B. Cockett and Jean−Simon Pacaud Lemay
In Electronic Notes in Theoretical Computer Science. Vol. 325. Pages 29 − 45. 2016.
The Thirty−second Conference on the Mathematical Foundations of Programming Semantics (MFPS XXXII)
Details about The Shuffle Quasimonad and Modules with Differentiation and Integration | BibTeX data for The Shuffle Quasimonad and Modules with Differentiation and Integration | DOI (https://doi.org/10.1016/j.entcs.2016.09.030) | Link to The Shuffle Quasimonad and Modules with Differentiation and Integration
-
[19]
Why FHilb is not an interesting (co) differential category
Jean−Simon Pacaud Lemay
In To appear in the proceeding of QPL2019.
Details about Why FHilb is not an interesting (co) differential category | BibTeX data for Why FHilb is not an interesting (co) differential category
-
[20]
Higher−order distributions for differential linear logic.
Marie Kerjean and Jean−Simon Lemay
January, 2019.
working paper or preprint
Details about Higher−order distributions for differential linear logic. | BibTeX data for Higher−order distributions for differential linear logic. | Link to Higher−order distributions for differential linear logic.
-
[21]
Integral Categories and Calculus Categories
Robin Cockett and Jean−Simon Pacaud Lemay
In Valentin Goranko and Mads Dam, editors, 26th EACSL Annual Conference on Computer Science Logic (CSL 2017). Vol. 82 of Leibniz International Proceedings in Informatics (LIPIcs). Pages 20:1–20:17. Dagstuhl‚ Germany. 2017. Schloss Dagstuhl–Leibniz−Zentrum fuer Informatik.
Details about Integral Categories and Calculus Categories | BibTeX data for Integral Categories and Calculus Categories | DOI (10.4230/LIPIcs.CSL.2017.20) | Link to Integral Categories and Calculus Categories
-
[22]
There Is Only One Notion of Differentiation
J. Robin B. Cockett and Jean−Simon Pacaud Lemay
In Dale Miller, editor, 2nd International Conference on Formal Structures for Computation and Deduction (FSCD 2017). Vol. 84 of Leibniz International Proceedings in Informatics (LIPIcs). Pages 13:1–13:21. Dagstuhl‚ Germany. 2017. Schloss Dagstuhl–Leibniz−Zentrum fuer Informatik.
Details about There Is Only One Notion of Differentiation | BibTeX data for There Is Only One Notion of Differentiation | DOI (10.4230/LIPIcs.FSCD.2017.13) | Link to There Is Only One Notion of Differentiation