TY  - DATA
AU  - Thomas Ehrhard-Jean-Yves Girard-Paul Ruet-Philip Scott
TI  - Linear Logic in Computer Science
T2  - London Mathematical Society Lecture Note Series
SN  - 9780521608572
PB  - Cambridge University Press
KW  -  Infinity
KW  - Computer science--Mathematics.,Logic, Symbolic and mathematical.,Proof theory
KW  - MATHEMATICS
UR  - https://search.ebscohost.com/login.aspx?direct=true&db=e000xww&site=ehost-live&scope=site&AN=552356
ER  -