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
bauer_kerjean.pdf (401.78 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 2

Citer

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

Partager

Gmail Facebook X LinkedIn More