The Lambda Calculus / Its Syntax and Semantics 

 -  Elsevier Science Publishers B.V,  1985 
 - 624 
<br/><br/> Preface, Introduction, Conversion, Reduction, Theories, Models, Conversion, Classical Lambda Calculus, The Theory of Combinators, The λ I-Calculus, Bohm Trees, Reduction, Fundamental Theorems, Strongly Equivalent Reductions, Reduction Strategies, Labelled Reduction, Other Notions of Reduction, Other Lambda Theories, Models, Construction of Models, Local Structure of Models, Global Structure of Models, Combinatory Groups, Appendices, Typed Lambda. Illative Combinatory Logic, Variables, Reference, Index of Names and Definitions and Symbols. 
<br/><br/><label>ISBN: </label>444867481