H Linear logic in computer science
Ehrhard,Thomas (Ed.) ; Girard, Jean-Yves (Ed.) ; Ruet, Paul (Ed.) ; Scott, Philip (Ed.)
2004
x, 381 p. ; 23 cm
9780521608572
43240
N° | Inventaire | Code barre | Localisation | |
---|---|---|---|---|
1 | 43240 | 1030918 | PROC 03-06 LIN |
ISBN10 : 0-521-60857-0
Type de doc : C
Ville d'édition : Cambridge
Pays d'édition : gb
Langue ouvrage : eng
Collection : London mathematical society lecture note series
N° dans la collection : 316
ISSN Collection : 0076-0552
Bibliographie : Notes bibliogr.
Class. Math. 2000 : 03-06 ; 68-06 ; 00B25
Ville du congrès : Sao Miguel, Azores
Pays congres : pt
Année du congres : 2000
ID notice : 0
Lien SUDOC : https://www.sudoc.fr/091631904