En poursuivant votre navigation sur ce site, vous acceptez l'utilisation d'un simple cookie d'identification. Aucune autre exploitation n'est faite de ce cookie. OK

Documents 46A04 1 results

Filter
Select: All / None
Q
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
y
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.

03B70 ; 68Q55 ; 46A04

Bookmarks Report an error