Chiralités et exponentielles: un peu de différentiation - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Pré-Publication, Document De Travail Année : 2019

Chiralités et exponentielles: un peu de différentiation

Résumé

Nous donnons une sémantique catégoriqueà la logique linéaire différentielle finitaire et polarisée. Cette axiomatique donne un cadreà des modèles polarisés précédemment misà jour dans les espaces vectoriels topologiques. Elle s'appuie sur la notion de chiralités et les modèles non-polarisés de la logique linéaire différentielle munis d'un biproduit.
Fichier principal
Vignette du fichier
article_HAL.pdf (417.77 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02320704 , version 1 (19-10-2019)
hal-02320704 , version 2 (12-11-2019)
hal-02320704 , version 3 (04-12-2019)

Identifiants

  • HAL Id : hal-02320704 , version 3

Citer

Esaïe Bauer, Marie Kerjean. Chiralités et exponentielles: un peu de différentiation. 2019. ⟨hal-02320704v3⟩
411 Consultations
282 Téléchargements

Partager

Gmail Mastodon Facebook X LinkedIn More