Groote,Philippe de <br/><br/>
Typed lambda calculi and applications / 
Groote,Philippe de. 
 - 3rd International Co 
 - Berlin:  Springer,  1997. 
 - viii,404p;26cm 
 - Lecture notes in computer science,No-1210 .
<br/><br/>Includes bibliographical references. 
<br/><br/><label>ISBN: </label>3540626883 
<br/><br/><label>Dewey Class. No.: </label>004.0151 GRO