Chiralités et exponentielles: un peu de différentiation - Inria - Institut national de recherche en sciences et technologies du numérique
Preprints, Working Papers, ... Year : 2019

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

Abstract

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
Origin Files produced by the author(s)
Loading...

Dates and versions

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

Identifiers

  • HAL Id : hal-02320704 , version 3

Cite

Esaïe Bauer, Marie Kerjean. Chiralités et exponentielles: un peu de différentiation. 2019. ⟨hal-02320704v3⟩
447 View
296 Download

Share

More