E-LIB Suche - Ergebnisse für: Lemay, Jean-Simon Pacaud

1

A Brief Survey on the Categorical Semantics for Geometry of..:

Lemay, Jean-Simon Pacaud
ACM SIGLOG News. 11 (2024) 2 - p. 4-33 , 2024

Link: https://doi.org/10.1145/..

2

Taylor Expansion as a Monad in Models of DiLL:

, In: 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS),

Kerjean, Marie ; Lemay, Jean-Simon Pacaud - p. 1-13 , 2023

Link: https://doi.org/10.1109/..

3

Traced Monads and Hopf Monads:

Hasegawa, Masahito ; Lemay, Jean-Simon Pacaud
Compositionality. 5 (2023) - p. 10 , 2023

Link: https://doi.org/10.32408..

4

Graded Differential Categories and Graded Differential Line..:

Lemay, Jean-Simon Pacaud ; Vienney, Jean-Baptiste
Electronic Notes in Theoretical Informatics and Computer Science. 3 - Proceedings of (2023) - p. , 2023

Link: https://doi.org/10.46298..

5

Cartesian Differential Kleisli Categories:

Lemay, Jean-Simon Pacaud
Electronic Notes in Theoretical Informatics and Computer Science. 3 - Proceedings of (2023) - p. , 2023

Link: https://doi.org/10.46298..

6

Monoidal reverse differential categories:

Cruttwell, Geoff ; Gallagher, Jonathan ; Lemay, Jean-Simon Pacaud.
Mathematical Structures in Computer Science. 32 (2022) 10 - p. 1313-1363 , 2022

Link: https://doi.org/10.1017/..

7

Cartesian Difference Categories:

Alvarez-Picallo, Mario ; Lemay, Jean-Simon Pacaud
Logical Methods in Computer Science. 17, Issue 3 (2021) - p. , 2021

Link: https://doi.org/10.46298..

8

Cartesian Differential Categories as Skew Enriched Categori..:

Garner, Richard ; Lemay, Jean-Simon Pacaud
Applied Categorical Structures. 29 (2021) 6 - p. 1099-1150 , 2021

Link: https://doi.org/10.1007/..

9

Exponential Functions in Cartesian Differential Categories:

Lemay, Jean-Simon Pacaud
Applied Categorical Structures. 29 (2020) 1 - p. 95-140 , 2020

Link: https://doi.org/10.1007/..

10

Cartesian Difference Categories:

, In: Lecture Notes in Computer Science; Foundations of Software Science and Computation Structures,

Alvarez-Picallo, Mario ; Lemay, Jean-Simon Pacaud - p. 57-76 , 2020

Link: https://doi.org/10.1007/..

11

Combining fixpoint and differentiation theory:

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

Galal, Zeinab ; Pacaud Lemay, Jean-Simon - p. 1-14 , 2024

Link: https://dl.acm.org/doi/1..

12

Convenient antiderivatives for differential linear categori..:

Pacaud Lemay, Jean-Simon
Mathematical Structures in Computer Science. 30 (2020) 5 - p. 545-569 , 2020

Link: https://doi.org/10.1017/..

13

Higher-Order Distributions for Differential Linear Logic:

, In: Lecture Notes in Computer Science; Foundations of Software Science and Computation Structures,

Kerjean, Marie ; Pacaud Lemay, Jean-Simon - p. 330-347 , 2019

Link: https://doi.org/10.1007/..

14

Differential algebras in codifferential categories:

Pacaud Lemay, Jean-Simon
Journal of Pure and Applied Algebra. 223 (2019) 10 - p. 4191-4225 , 2019

Link: https://doi.org/10.1016/..

15

Fundamental Theorems of Calculus and Zinbiel Algebras:

Lemay, Jean-Simon Pacaud
http://arxiv.org/abs/2401.08223. , 2024

Link: http://arxiv.org/abs/240..