Lambda-Calculus and Combinators: An Introduction / Edition 2

Lambda-Calculus and Combinators: An Introduction / Edition 2

by J. Roger Hindley, Jonathan P. Seldin
     
 

This book gives an account of combinatory logic and lambda-calculus models.See more details below

Overview

This book gives an account of combinatory logic and lambda-calculus models.

Product Details

ISBN-13:
9780521898850
Publisher:
Cambridge University Press
Publication date:
07/24/2008
Pages:
360
Sales rank:
1,017,010
Product dimensions:
6.10(w) x 9.10(h) x 1.00(d)

Table of Contents

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.

Customer Reviews

Average Review:

Write a Review

and post it to your social network

     

Most Helpful Customer Reviews

See all customer reviews >