Lambda-Calculus and Combinators

Keeping technical requirements to a minimum, this long-awaited new edition gives a modern account of combinatory logic and lambda-calculus models.

Autorentext
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.

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

Zusammenfassung
This book gives an account of combinatory logic and lambda-calculus. The grammar and basic properties of both systems are discussed, followed by explanations of type-theory and lambda-calculus models. The treatment is as non-technical as possible with many examples and exercises.

Inhalt
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.

#	Onlineshop	Preis CHF	Versand CHF	Total CHF
1	Seller	0.00	0.00	0.00