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

Linear logic in computer science = based on the Azores summer school on linear logic and computer science, St. Miguel, Azores, Portugal, August 30--September 7, 2000 [texte imprimé] / thomas Ehrhard ; Ruet, Paul ; Jean-Yves Girard ; Philip Scott, Editeur scientifique . - [S.l.] : Cambridge University Press, 2004 . - x - 381 p.. - (London Mathematical Society Lecture Note Series.; 316) .
ISBN : 978-0-521-60857-2
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