Détails bibliographiques
| Autres auteurs : |
Ehrhard Thomas
(Éditeur scientifique),
Girard Jean-Yves
(Éditeur scientifique),
Ruet Paul
(Éditeur scientifique) |
| Format : |
Livre |
| Langue : |
anglais |
| Titre complet : |
Linear logic in computer science / edited by Thomas Ehrhard,... Jean-Yves Girard,... Paul Ruet,... [et al.] |
| Publié : |
Cambridge, New York, Melbourne [etc.] :
Cambridge university press
, 2004, cop. 2004
|
| Description matérielle : |
1 vol. (X-381 p.) |
| Collection : |
London Mathematical Society lecture note series ; 316
|
| Sujets : |
|
Nantilus
