Nantilus
Linear logic in computer science
| Autres auteurs : | , , |
|---|---|
| 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 : |
Chargement en cours