You are here

Lambda-Calculus and Combinators: An Introduction

J. Roger Hindley and Jonathan P. Seldin
Publisher: 
Cambridge University Press
Publication Date: 
2008
Number of Pages: 
345
Format: 
Hardcover
Edition: 
2
Price: 
70.00
ISBN: 
9780521898850
Category: 
Textbook
We do not plan to review this book.

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.