Logic programming with focusing proofs in linear logic, 1992. ,
, 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
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-00148816
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
Locally convex spaces, 1981. ,
A logical account for linear partial differential equations, Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2018 ,
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. ,
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. ,