Logic programming with focusing proofs in linear logic, 1992. ,
?-autonomous categories, Lecture Notes in Mathematics, vol.752, 1979. ,
, Differential categories. Math. Structures Comput. Sci, vol.16, issue.6, 2006.
Differential interaction nets, Theoretical Computer Science, vol.364, issue.2, pp.166-195, 2006. ,
URL : https://hal.archives-ouvertes.fr/hal-00150274
On köthe sequence spaces and linear logic, Mathematical Structures in Computer Science, vol.12, issue.5, pp.579-623, 2002. ,
Finiteness spaces, Mathematical Structures in Computer Science, vol.15, issue.4, pp.615-646, 2005. ,
URL : https://hal.archives-ouvertes.fr/hal-00150276
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
Interpreting a finitary pi-calculus in differential interaction nets, Inf. Comput, 2010. ,
URL : https://hal.archives-ouvertes.fr/hal-00483780
Linear logic, Theoretical Computer Science, vol.50, issue.1, pp.1-102, 1987. ,
URL : https://hal.archives-ouvertes.fr/inria-00075966
A new constructive logic : Classical logic. Mathematical Structures in Computer Science, 1991. ,
URL : https://hal.archives-ouvertes.fr/inria-00075117
Produits tensoriels topologiques et espaces nucléaires, Mem. Amer. Math. Soc, issue.16, p.140, 1955. ,
Locally convex spaces, 1981. ,
Mackey-complete spaces and power series, MSCS, 2016. ,
URL : https://hal.archives-ouvertes.fr/hal-01175662
A logical account for linear partial differential equations, Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2018 ,
Higher-order distributions for differential linear logic, FOS-SACS 2019, Held as Part ETAPS ,
URL : https://hal.archives-ouvertes.fr/hal-01969262
Etude de la polarisation en logique, 2002. ,
URL : https://hal.archives-ouvertes.fr/tel-00007884
Categorical semantics of linear logic, 2008. ,
, Dialogue categories and chiralities. Publ. Res. Inst. Math. Sci, vol.52, issue.4, pp.359-412, 2016.
Differential structure in models of multiplicative biadditive intuitionistic linear logic. Proceedings of TLCA, 2007. ,
Théorie des distributions, 1966. ,
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