Jean-Yves Girard-Yves Lafont-Laurent Regnier <br/><br/>
Advances in Linear Logic 

 -  Cambridge University Press  1995 
 - London Mathematical Society Lecture Note Series .
<br/><br/><label>ISBN: </label>9780521559614 
<br/><br/><label>Subjects--Topical Terms: </label><br/> Infinity<br/>Logic, Symbolic and mathematical--Congresses.<br/>MATHEMATICS