TY  - BOOK
AU  - Ehrhard, Thomas, ed.
AU  - Girard, Jean-Yves, ed.
AU  - Rue, Paul, ed. et al.
TI  - Linear logic in computer science
T2  - London mathematical society lecture note series ; 316
SN  - 521608570
CY  - Cambridge
KW  - Logic programming -- Linear
N1  - Includes bibliographical references
ER  -