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.

Domaines

Informatique [cs] Logique en informatique [cs.LO]
Fichier principal
Vignette du fichier
article_HAL.pdf (417.77 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Marie Kerjean  : Connectez-vous pour contacter le contributeur

https://inria.hal.science/hal-02320704

Soumis le : mercredi 4 décembre 2019-18:45:12

Dernière modification le : mardi 12 novembre 2024-15:20:06

Archivage à long terme le : jeudi 5 mars 2020-22:27:53

Télécharger pour visualiser

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 3

Citer

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

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

ENS-LYON UNIV-NANTES CNRS INRIA EC-NANTES UNAM INRIA2 LS2N LS2N-GALLINETTE UDL NANTES-UNIVERSITE
458 Consultations
301 Téléchargements

Partager

More