Skip to Main content Skip to Navigation
New interface
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 Connect in order to contact the contributor
Submitted on : Wednesday, December 4, 2019 - 6:45:12 PM
Last modification on : Thursday, December 1, 2022 - 11:00:07 AM
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

311

Files downloads

268