Linear Logic Winter School / École d'hiver de logique linéaire

Collection Linear Logic Winter School / École d'hiver de logique linéaire

Organisateur(s) Tortora de Falco, Lorenzo ; Vaux Auclair, Lionel
Date(s) 24/01/2022 - 28/01/2022
URL associée https://conferences.cirm-math.fr/2685.html
00:00:00 / 00:00:00
6 6

Differential linear logic extended to differential operators

De Marie Kerjean

Differential Linear Logic adds to the linear logic the possibility to linearize non-linear proofs. We show how that accounts for the resolution of a differential equation, and extend differential linear logic to linear partial differential equations with constant coefficients. We explain how this result stems from the interpretation of linear logic formulas as reflexive vector spaces.

Informations sur la vidéo

Données de citation

  • DOI 10.24350/CIRM.V.19882603
  • Citer cette vidéo Kerjean, Marie (28/01/2022). Differential linear logic extended to differential operators. CIRM. Audiovisual resource. DOI: 10.24350/CIRM.V.19882603
  • URL https://dx.doi.org/10.24350/CIRM.V.19882603

Domaine(s)

Dernières questions liées sur MathOverflow

Pour poser une question, votre compte Carmin.tv doit être connecté à mathoverflow

Poser une question sur MathOverflow




Inscrivez-vous

  • Mettez des vidéos en favori
  • Ajoutez des vidéos à regarder plus tard &
    conservez votre historique de consultation
  • Commentez avec la communauté
    scientifique
  • Recevez des notifications de mise à jour
    de vos sujets favoris
Donner son avis