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

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

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⟩
30 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More