A correspondence between maximal abelian sub-algebras and linear logic fragments - Archive ouverte HAL
Article Dans Une Revue Mathematical Structures in Computer Science Année : 2018

A correspondence between maximal abelian sub-algebras and linear logic fragments

Thomas Seiller
Laboratoire d'Informatique de Paris-Nord
Centre National de la Recherche Scientifique
CV

Domaines

Logique [math.LO] Logique en informatique [cs.LO] Algèbres d'opérateurs [math.OA]

Thomas Seiller  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-01922452

Soumis le : mercredi 14 novembre 2018-15:21:17

Dernière modification le : jeudi 28 novembre 2024-10:50:16

Consulter le texte intégral

Dates et versions

hal-01922452 , version 1 (14-11-2018)

Identifiants

Citer

Thomas Seiller. A correspondence between maximal abelian sub-algebras and linear logic fragments. Mathematical Structures in Computer Science, 2018, 28 (01), pp.77 - 139. ⟨10.1017/S0960129516000062⟩. ⟨hal-01922452⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-PARIS13 CNRS OCA LIPN USPC GALILE SORBONNE-PARIS-NORD ANR ACT-R
37 Consultations
0 Téléchargements

Altmetric

Partager

More