Bibliographic Details
| Other Authors : |
Ehrhard Thomas
(Éditeur scientifique),
Girard Jean-Yves
(Éditeur scientifique),
Ruet Paul
(Éditeur scientifique) |
| Format : |
Book |
| Language : |
anglais |
| Title statement : |
Linear logic in computer science / edited by Thomas Ehrhard,... Jean-Yves Girard,... Paul Ruet,... [et al.] |
| Published : |
Cambridge, New York, Melbourne [etc.] :
Cambridge university press
, 2004, cop. 2004
|
| Physical Description : |
1 vol. (X-381 p.) |
| Series : |
London Mathematical Society lecture note series ; 316
|
| Subjects : |
|
Nantilus
