Hindley, J. Roger. <br/><br/>
Introduction to combinators and [lambda]-calculus / 
J. Roger Hindley, Jonathan P. Seldin. 
 - Cambridge :  Cambridge University Press,  1986. 
 - 360 p. ;  23 cm. 
 - London Mathematical Society student texts ;  1 .
<br/><br/> Includes index. 
<br/><br/>Includes bibliographical references : p. 340-352. 
<br/><br/><label>ISBN: </label>0521318394 (pbk.) 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Combinatory logic.<br/>Lambda calculus.