Article Dans Une Revue
Mathematical Structures in Computer Science
Année : 2018
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 14 mars 2024-03:12:31
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⟩
Collections
30
Consultations
0
Téléchargements