Article Dans Une Revue Mathematical Structures in Computer Science Année : 2002

On Köthe Sequence Spaces and Linear Logic

Thomas Ehrhard
Fichier non déposé

Dates et versions

hal-00527045 , version 1 (17-10-2010)

Identifiants

  • HAL Id : hal-00527045 , version 1

Citer

Thomas Ehrhard. On Köthe Sequence Spaces and Linear Logic. Mathematical Structures in Computer Science, 2002, 12 (5), pp.579-623. ⟨hal-00527045⟩
84 Consultations
0 Téléchargements

Partager

  • More