Hindley, J. Roger <br/><br/>
Lambda-calculus and combinators, an introduction / 
J. Roger Hindley, Jonathan P. Seldin 
 - Cambridge, UK :  Cambridge University Press,  c2008 
 - xi, 345 p. :  ill. ;  24 cm. 
<br/><br/>Includes bibliographical references (p. 323-333) and index 
<br/><br/><label>ISBN: </label>9780521898850 0521898854 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Lambda calculus<br/>Combinatory logic