 |
PREUVES, PROGRAMMES et SYSTÈMES |  |
|
PREUVES, PROGRAMMES et SYSTÈMES | |
| HAL : hal-00527045, version 1 |
| Fiche concise |  Récupérer au format |
 |
| On Köthe Sequence Spaces and Linear Logic Ehrhard T. Mathematical Structures in Computer Science 12, 5 (2002) 579-623 - http://hal.archives-ouvertes.fr/hal-00527045 |
|
|
|
|
| Type de publication : | |
Articles dans des revues avec comité de lecture | ||||||||||||||||||
|
||||||||||||||||||||
| Domaine : | |
Informatique/Logique en informatique | ||||||||||||||||||
|
||||||||||||||||||||
| Titre : | |
On Köthe Sequence Spaces and Linear Logic | ||||||||||||||||||
|
||||||||||||||||||||
| Auteur(s) : | |
Thomas Ehrhard 1 |
||||||||||||||||||
|
||||||||||||||||||||
| Laboratoire : | |
|
||||||||||||||||||
|
||||||||||||||||||||
| Langue du texte intégral : |
|
Anglais | ||||||||||||||||||
|
||||||||||||||||||||
| Journal : | |
|
||||||||||||||||||
|
||||||||||||||||||||
| Audience : | |
internationale | ||||||||||||||||||
|
||||||||||||||||||||
| Date de publication : | |
2002 | ||||||||||||||||||
|
||||||||||||||||||||
| Volume : | |
12 | ||||||||||||||||||
|
||||||||||||||||||||
| Numéro : | |
5 | ||||||||||||||||||
|
||||||||||||||||||||
| Page, identifiant, ... : | |
579-623 | ||||||||||||||||||
|
||||||||||||||||||||
| hal-00527045, version 1 | |
| http://hal.archives-ouvertes.fr/hal-00527045 | |
| oai:hal.archives-ouvertes.fr:hal-00527045 | |
| Contributeur : Thomas Ehrhard | |
| Soumis le : Dimanche 17 Octobre 2010, 23:43:42 | |
| Dernière modification le : Dimanche 17 Octobre 2010, 23:43:42 | |
