Chiralités et exponentielles: un peu de différentiation - Inria - Institut national de recherche en sciences et technologies du numérique
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
articleJFLA.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 1

Citer

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

Partager

More