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.
Document type :
Preprints, Working Papers, ...
Complete list of metadatas

Cited literature [14 references]  Display  Hide  Download

https://hal.inria.fr/hal-02320704
Contributor : Marie Kerjean <>
Submitted on : Saturday, October 19, 2019 - 11:31:09 AM
Last modification on : Monday, November 18, 2019 - 10:53:15 AM
Long-term archiving on: Monday, January 20, 2020 - 12:53:47 PM

File

articleJFLA.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-02320704, version 1

Citation

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

Share

Metrics

Record views

37

Files downloads

74