Hindley, J. Roger <br/><br/>
Lambda-calculus and combinators :   an introduction /  
by J. Roger Hindley. 
 - Cambridge ; New York :   Cambridge University Press,   2008. 
 - xi, 345 p. : ill. ;  
<br/><br/>Include Index 
<br/><br/><label>ISBN: </label>9780521898850  P46.00  
<br/><br/><label>Subjects--Topical Terms: </label><br/>Combinatory logic.
<br/><br/><label>Dewey Class. No.: </label>511.35  / HIN/L