Thomas Ehrhard-Jean-Yves Girard-Paul Ruet-Philip Scott <br/><br/>
Linear Logic in Computer Science 

 -  Cambridge University Press  2004 
 - London Mathematical Society Lecture Note Series .
<br/><br/><label>ISBN: </label>9780521608572 
<br/><br/><label>Subjects--Topical Terms: </label><br/> Infinity<br/>Computer science--Mathematics.,Logic, Symbolic and mathematical.,Proof theory.<br/>MATHEMATICS