J. Roger Hindley is an Honorary Research Fellow at Swansea University, Wales. His main research interests are Lambda-calculus and combinatory logic and he has taught at many international universities including Bristol University, Pennsylvania State University and Tokyo Institute of technology. This is his 7th 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 1.
-conversion; Appendix 2. Confluence proofs; Appendix 3. Normalization proofs; Appendix 4. Care of your pet combinator; Appendix 5. Answers to starred exercises; Bibliography; Index.