J. Andreoli, Logic programming with focusing proofs in linear logic, 1992.

R. F. Blute, J. R. Cockett, and R. A. Seely, Differential categories. Math. Structures Comput. Sci, vol.16, issue.6, 2006.

T. Ehrhard and L. Regnier, Differential interaction nets, Theoretical Computer Science, vol.364, issue.2, pp.166-195, 2006.
URL : https://hal.archives-ouvertes.fr/hal-00150274

T. Ehrhard, An introduction to differential linear logic : proof-nets, models and antiderivatives, Mathematical Structures in Computer Science, vol.28, issue.7, pp.995-1060, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01326738

T. Ehrhard and O. Laurent, Interpreting a finitary pi-calculus in differential interaction nets, Inf. Comput, 2010.
URL : https://hal.archives-ouvertes.fr/hal-00148816

J. Girard, Linear logic, Theoretical Computer Science, vol.50, issue.1, pp.1-102, 1987.
URL : https://hal.archives-ouvertes.fr/inria-00075966

J. Girard, A new constructive logic : Classical logic. Mathematical Structures in Computer Science, 1991.
URL : https://hal.archives-ouvertes.fr/inria-00075117

H. Jarchow, Locally convex spaces, 1981.

M. Kerjean, A logical account for linear partial differential equations, Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2018

P. Melliès, Categorical semantics of linear logic, 2008.

P. Melliès, Dialogue categories and chiralities. Publ. Res. Inst. Math. Sci, vol.52, issue.4, pp.359-412, 2016.

M. Fiore, Differential structure in models of multiplicative biadditive intuitionistic linear logic. Proceedings of TLCA, 2007.

L. Schwartz, Théorie des distributions, 1966.

L. Vaux, et xf, gy; Id?n; ??" f On utiliseà chaque fois le fait que pA, n, Mq est un co-monoïde commutatif. Et on fait de même pour montrer que ce morphisme est unique. Pour montrer que le bi-produit est un co-produit, on pourra faire un raisonnement similaire, Typed Lambda Calculi and Applications, 9th International Conference, pp.371-385, 2009.