Lambda-Calculus, Combinators and Functional Programming (Cambridge Tracts in Theoretical Computer Science v. 4)

Lambda-Calculus, Combinators and Functional Programming (Cambridge Tracts in Theoretical Computer Science v. 4)

By: Gyorgy E. Revesz (author)Paperback

1 - 2 weeks availability

£32.39 RRP £35.99  You save £3.60 (10%) With FREE Saver Delivery

Description

Originally published in 1988, this book presents an introduction to lambda-calculus and combinators without getting lost in the details of mathematical aspects of their theory. Lambda-calculus is treated here as a functional language and its relevance to computer science is clearly demonstrated. The main purpose of the book is to provide computer science students and researchers with a firm background in lambda-calculus and combinators and show the applicabillity of these theories to functional programming. The presentation of the material is self-contained. It can be used as a primary text for a course on functional programming. It can also be used as a supplementary text for courses on the structure and implementation of programming languages, theory of computing, or semantics of programming languages.

Create a review

Contents

Preface; 1. Introduction; 2. Type-free lambda-calculus; 3. Combinators and constant symbols; 4. List manipulation in lambda-calculus; 5. Rule-based semantics of lambda-expressions; 6. Outlines of a reduction machine; 7. Towards a parallel graph-reduction; Appendix A: A proof of the Church-Rosser theorem; Appendix B: Introduction to typed lambda-calculus; Bibliographical notes; References.

Product Details

  • publication date: 25/06/2009
  • ISBN13: 9780521114295
  • Format: Paperback
  • Number Of Pages: 192
  • ID: 9780521114295
  • weight: 320
  • ISBN10: 0521114292

Delivery Information

  • Saver Delivery: Yes
  • 1st Class Delivery: Yes
  • Courier Delivery: Yes
  • Store Delivery: Yes

Prices are for internet purchases only. Prices and availability in WHSmith Stores may vary significantly

Close