TY  - BOOK
AU  - Girard, Jean-Yves. Ed.
AU  - Lafont, Yves. Ed.
AU  - Regnier, Laurent. Ed.
TI  - Advances in linear logic
SN  - 0521559618
CY  - Cambridge
KW  - Linear Logic
ER  -