You are here

Lambda-Calculus and Combinators: An Introduction

Edition: 
2
Publisher: 
Cambridge University Press
Number of Pages: 
345
Price: 
70.00
ISBN: 
9780521898850
Date Received: 
Monday, September 1, 2008
Reviewable: 
No
Include In BLL Rating: 
No
Reviewer Email Address: 
J. Roger Hindley and Jonathan P. Seldin
Publication Date: 
2008
Format: 
Hardcover
Category: 
Textbook

Preface; 1. The λ-calculus; 2. Combinatory logic; 3. The power of λ and CL; 4. Computable functions; 5. Undecidability; 6. Formal theories; 7. Extensionality in λ-calculus; 8. Extensionality in CL; 9. Correspondence between λ and CL; 10. Simple typing, Church-style; 11. Simple typing, Curry-style in CL; 12. Simple typing, Curry-style in λ; 13. Generalizations of typing; 14. Models of CL; 15. Models of λ ; 16. Scott’s D∞ and other models; Appendix A1. α-conversion; Appendix A2. Confluence proofs; Appendix A3. Normalization proofs; Appendix A4. Care of your pet combinator; Appendix A5. Answers to starred exercises; Bibliography; Index.

Publish Book: 
Modify Date: 
Monday, September 1, 2008

Dummy View - NOT TO BE DELETED