| Titre : | Linear logic in computer science | | Titre original : | based on the Azores summer school on linear logic and computer science, St. Miguel, Azores, Portugal, August 30--September 7, 2000 | | Type de document : | texte imprimé | | Auteurs : | thomas Ehrhard ; Ruet, Paul ; Jean-Yves Girard ; Philip Scott, Editeur scientifique | | Editeur : | Cambridge University Press | | Année de publication : | 2004 | | Collection : | London Mathematical Society Lecture Note Series. num. 316 | | Importance : | x - 381 p. | | ISBN/ISSN/EAN : | 978-0-521-60857-2 | | Note générale : | commande C. Anné | | Langues : | Anglais | | Catégories : | 00-XX General:00BXX Conference proceedings and collections of papers:00B25 Proceedings of conferences of miscellaneous specific interest
03-XX Mathematical logic and foundations:03-06 Proceedings, conferences, collections, etc.
68-XX Computer science :68-06 Proceedings, conferences, collections, etc.
| | Mots-clés : | st. miguel, azores (portugal) conferences summer school computer science mathematical logic | | Index. décimale : | 03B Publication collective |
|
Affiner la rechercheLinear logic in computer science / thomas Ehrhard ; Ruet, Paul ; Jean-Yves Girard ; Philip Scott
