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

M. Barr, ?-autonomous categories, Lecture Notes in Mathematics, vol.752, 1979.

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, On köthe sequence spaces and linear logic, Mathematical Structures in Computer Science, vol.12, issue.5, pp.579-623, 2002.

T. Ehrhard, Finiteness spaces, Mathematical Structures in Computer Science, vol.15, issue.4, pp.615-646, 2005.
URL : https://hal.archives-ouvertes.fr/hal-00150276

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-00483780

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

A. Grothendieck, Produits tensoriels topologiques et espaces nucléaires, Mem. Amer. Math. Soc, issue.16, p.140, 1955.

H. Jarchow, Locally convex spaces, 1981.

M. Kerjean and C. Tasson, Mackey-complete spaces and power series, MSCS, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01175662

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

M. Kerjean and J. Lemay, Higher-order distributions for differential linear logic, FOS-SACS 2019, Held as Part ETAPS
URL : https://hal.archives-ouvertes.fr/hal-01969262

O. Laurent, Etude de la polarisation en logique, 2002.
URL : https://hal.archives-ouvertes.fr/tel-00007884

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, Differential linear logic and polarization, Typed Lambda Calculi and Applications, 9th International Conference, pp.371-385, 2009.
URL : https://hal.archives-ouvertes.fr/hal-00387062