Lambda-calculus and computer science theory 
Programming on calculus and computer science theory held at Rome, March 25-27, 1975 ; edited by C. Bohm 
 - Berlin  Springer Verlag  1975 
 - xii, 370 p.  ill.  25 cm. 
 - Lecture notes in computer science  37 .
<br/><br/> English or French 
<br/><br/>Includes bibliographical references and index 
<br/><br/><label>ISBN: </label>0387074163 (pbk.)  Rs.  32.00 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Combinatory logic<br/>Programming languages (Electronic computers)
<br/><br/><label>Dewey Class. No.: </label>001.6