Skip to Main content Skip to Navigation
Preprints, Working Papers, ...

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 metadata

Cited literature [21 references]  Display  Hide  Download

https://hal.inria.fr/hal-02320704
Contributor : Marie Kerjean <>
Submitted on : Wednesday, December 4, 2019 - 6:45:12 PM
Last modification on : Tuesday, January 5, 2021 - 4:26:24 PM
Long-term archiving on: : Thursday, March 5, 2020 - 10:27:53 PM

File

article_HAL.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-02320704, version 3

Citation

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

Share

Metrics

Record views

184

Files downloads

264