Skip to main content
University of Oxford Department of Computer Science
  Contact Us     Search  
  1. Home
  2. About Us
  3. People
  4. Students
  5. JS Pacaud Lemay
  6. Publications

JS Pacaud Lemay : Publications

Click here to download all publications in a single bibtex file

@article{Blute2019,
  title = "Differential Categories Revisited",
  author = "Blute, R. F. and Cockett, J. R. B. and Lemay, J.-S. P. and Seely, R. A. G.",
  year = "2019",
  issn = "1572-9095",
  journal = "Applied Categorical Structures",
  month = "Jul",
  url = "https://doi.org/10.1007/s10485-019-09572-y",
  doi = "10.1007/s10485-019-09572-y",
}
@article{lmcs:5895
  TITLE = {{Lifting Coalgebra Modalities and $\mathsf{MELL}$ Model Structure to
  Eilenberg-Moore Categories}},
  author = "Lemay, Jean-Simon Pacaud",
  year = "2019",
  journal = "{Logical Methods in Computer Science}",
  keywords = "Computer Science - Logic in Computer Science",
  month = "Nov",
  url = "https://lmcs.episciences.org/5895",
  volume = "{Volume 15, Issue 4}",
}
@unpublished{kerjean:hal-01969262,
  title = "{Higher-order distributions for differential linear logic.}",
  author = "Kerjean, Marie and Lemay, Jean-Simon",
  year = "2019",
  month = "Jan",
  note = "working paper or preprint",
  url = "https://hal.inria.fr/hal-01969262",
}
@article{cruttwell2019integral,
  title = "Integral and differential structure on the free $ C\^{}$\{$$\backslash$infty$\}$ $-ring modality",
  author = "Cruttwell, GSH and Lemay, J-SP and Lucyshyn-Wright, RBB",
  year = "2019",
  journal = "arXiv preprint arXiv:1902.04555",
}
@article{cockett_lemay_2019,
  title = "Integral categories and calculus categories",
  author = "J. Robin B. Cockett and Jean-Simon Pacaud Lemay",
  year = "2019",
  journal = "Mathematical Structures in Computer Science",
  number = "2",
  pages = "243-308",
  publisher = "Cambridge University Press",
  url = "https://www.cambridge.org/core/journals/mathematical-structures-in-computer-science/article/integral-categories-and-calculus-categories/EA37ABD31DFFD8190D3092C05194B62E",
  volume = "29",
  doi = "10.1017/S0960129518000014",
}
@article{PACAUDLEMAY2019,
  title = "Differential algebras in codifferential categories",
  author = "Jean-Simon Pacaud Lemay",
  year = "2019",
  issn = "0022-4049",
  journal = "Journal of Pure and Applied Algebra",
  keywords = "Differential categories, Differential algebras, Hurwitz series rings, Faà di Bruno formula",
  url = "http://www.sciencedirect.com/science/article/pii/S0022404919300131",
  doi = "https://doi.org/10.1016/j.jpaa.2019.01.005",
}
@inproceedings{10.1007/978-3-030-17127-8_19,
  title = "Higher-Order Distributions for Differential Linear Logic",
  author = "Kerjean, Marie and Pacaud Lemay, Jean-Simon",
  year = "2019",
  address = "Cham",
  booktitle = "Foundations of Software Science and Computation Structures",
  editor = "Boja{\'{n}}czyk, Miko{\l}aj and Simpson, Alex",
  isbn = "978-3-030-17127-8",
  pages = "330--347",
  publisher = "Springer International Publishing",
}
@misc{cockett2019tangent,
  title = "Tangent Categories from the Coalgebras of Differential Categories",
  author = "Robin Cockett and Jean-Simon Pacaud Lemay and Rory B. B. Lucyshyn-Wright",
  year = "2019",
}
@misc{cockett2019reverse,
  title = "Reverse derivative categories",
  author = "Robin Cockett and Geoffrey Cruttwell and Jonathan Gallagher and Jean-Simon Pacaud Lemay and Benjamin MacAdam and Gordon Plotkin and Dorette Pronk",
  year = "2019",
}
@misc{lemay2019exponential,
  title = "Exponential Functions in Cartesian Differential Categories",
  author = "Jean-Simon Pacaud Lemay",
  year = "2019",
}
@misc{cockett2019differential,
  title = "Differential equations in a tangent category I: Complete vector fields, flows, and exponentials",
  author = "J. R. B. Cockett and G. S. H. Cruttwell and J. -S. P. Lemay",
  year = "2019",
}
@article{lemay2018lifting,
  title = "Lifting Coalgebra Modalities and $$\backslash$mathsf $\{$MELL$\}$ $ Model Structure to Eilenberg-Moore Categories",
  author = "Jean{-}Simon Pacaud Lemay",
  year = "2018",
  journal = "arXiv preprint arXiv:1804.11116",
  url = "https://arxiv.org/abs/1804.11116v2",
}
@article{blute2018differential,
  title = "Differential Categories Revisited",
  author = "Richard F. Blute, J. Robin B. Cockett, R.A.G. Seely, and Jean-Simon Pacaud Lemay",
  year = "2018",
  journal = "arXiv preprint arXiv:1806.04804",
  url = "https://arxiv.org/abs/1806.04804v1",
}
@article{lemay2018convenient,
  title = "Convenient Antiderivatives For Differential Linear Categories",
  author = "Jean{-}Simon Pacaud Lemay",
  year = "2018",
  journal = "arXiv preprint arXiv:1808.08513",
  url = "https://arxiv.org/abs/1808.08513v1",
}
@article{COCKETT201845,
  title = "Cartesian Integral Categories and Contextual Integral Categories",
  author = "J. Robin B. Cockett and Jean-Simon Pacaud Lemay",
  year = "2018",
  issn = "1571-0661",
  journal = "Electronic Notes in Theoretical Computer Science",
  keywords = "Integral categories, coalgebra modality, context, simple slice, coKleisli category",
  note = "Proceedings of the Thirty-Fourth Conference on the Mathematical Foundations of Programming Semantics (MFPS XXXIV)",
  pages = "45 - 72",
  url = "http://www.sciencedirect.com/science/article/pii/S1571066118300847",
  volume = "341",
  doi = "https://doi.org/10.1016/j.entcs.2018.11.004",
}
@article{lemay2018Faa,
  title = " A tangent category alternative to the Faa di Bruno construction ",
  author = "Lemay, Jean-Simon Pacaud",
  year = "2018",
  journal = "Theory and Applications of Categories",
  keywords = "Cartesian Differential Categories, Cofree Cartesian Differential Categories, Tangent Categories, Higher-Order Chain Rule",
  number = "35",
  pages = "1072--1110",
  url = "http://www.tac.mta.ca/tac/volumes/33/35/33-35abs.html",
  volume = "33",
}
@article{hasegawa2018linear,
  title = "Linear Distributivity With Negation, Star-Autonomy, and Hopf Monads",
  author = "Hasegawa, Masahito and Lemay, Jean-Simon Pacaud",
  year = "2018",
  journal = "Theory and Applications of Categories",
  keywords = "monoidal categories, linearly distributive categories, $*$-autonomous categories, comonoidal monads, Hopf monads",
  number = "37",
  pages = "1145--1157",
  url = "http://www.tac.mta.ca/tac/volumes/33/37/33-37abs.html",
  volume = "33",
}
@inproceedings{DBLP:conf/rta/Lemay18,
  title = "Lifting Coalgebra Modalities and {IMELL} Model Structure to Eilenberg-Moore Categories",
  author = "Jean{-}Simon Pacaud Lemay",
  year = "2018",
  booktitle = "3rd International Conference on Formal Structures for Computation and Deduction, {FSCD} 2018, July 9-12, 2018, Oxford, {UK}",
  pages = "21:1--21:20",
  url = "https://doi.org/10.4230/LIPIcs.FSCD.2018.21",
  doi = "10.4230/LIPIcs.FSCD.2018.21",
}
@inproceedings{cockett_et_al:LIPIcs:2017:7716,
  title = "{There Is Only One Notion of Differentiation}",
  author = "J. Robin B. Cockett and Jean-Simon Pacaud Lemay",
  year = "2017",
  address = "Dagstuhl, Germany",
  annote = "Keywords: Differential Categories, Linear Logic, Coalgebra Modalities, Bialgebra Modalities",
  booktitle = "2nd International Conference on Formal Structures for Computation and Deduction (FSCD 2017)",
  editor = "Dale Miller",
  isbn = "978-3-95977-047-7",
  issn = "1868-8969",
  pages = "13:1--13:21",
  publisher = "Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik",
  series = "Leibniz International Proceedings in Informatics (LIPIcs)",
  url = "http://drops.dagstuhl.de/opus/volltexte/2017/7716",
  volume = "84",
  doi = "10.4230/LIPIcs.FSCD.2017.13",
}
@inproceedings{cockett_et_al:LIPIcs:2017:7668,
  title = "{Integral Categories and Calculus Categories}",
  author = "Robin Cockett and Jean-Simon Pacaud Lemay",
  year = "2017",
  address = "Dagstuhl, Germany",
  annote = "Keywords: Differential Categories, Integral Categories, Calculus Categories",
  booktitle = "26th EACSL Annual Conference on Computer Science Logic (CSL 2017)",
  editor = "Valentin Goranko and Mads Dam",
  isbn = "978-3-95977-045-3",
  issn = "1868-8969",
  pages = "20:1--20:17",
  publisher = "Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik",
  series = "Leibniz International Proceedings in Informatics (LIPIcs)",
  url = "http://drops.dagstuhl.de/opus/volltexte/2017/7668",
  volume = "82",
  doi = "10.4230/LIPIcs.CSL.2017.20",
}
@article{BAGNOL201629,
  title = "The Shuffle Quasimonad and Modules with Differentiation and Integration",
  author = "Marc Bagnol and Richard Blute and J. Robin B. Cockett and Jean-Simon Pacaud Lemay",
  year = "2016",
  issn = "1571-0661",
  journal = "Electronic Notes in Theoretical Computer Science",
  keywords = "Linear Logic, Differential Categories, Rota-Baxter Algebras",
  note = "The Thirty-second Conference on the Mathematical Foundations of Programming Semantics (MFPS XXXII)",
  pages = "29 - 45",
  url = "http://www.sciencedirect.com/science/article/pii/S1571066116300779",
  volume = "325",
  doi = "https://doi.org/10.1016/j.entcs.2016.09.030",
}
@article{lemayfhilb,
  title = "Why FHilb is not an interesting (co) differential category",
  author = "Lemay, Jean-Simon Pacaud",
  journal = "To appear in the proceeding of QPL2019",
}

About Us

Back to Top