Free Shipping In Australia
Lambda-calculus, Combinators and Functional Programming By Gyorgy E. Revesz

Lambda-calculus, Combinators and Functional Programming
by Gyorgy E. Revesz

Out of Stock
$85.99
inc. GST
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.
Only 0 left

Lambda-calculus, Combinators and Functional Programming Summary


Lambda-calculus, Combinators and Functional Programming by Gyorgy E. Revesz

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.

Why buy from World of Books

Our excellent value books literally don't cost the earth
Free delivery in Australia
Read more here
Every used book bought is one saved from landfill

Table of 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 -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 -calculus; Bibliographical notes; References.

Additional information

GOR010388754
Lambda-calculus, Combinators and Functional Programming by Gyorgy E. Revesz
Gyorgy E. Revesz
Cambridge Tracts in Theoretical Computer Science
Used - Very Good
Paperback
Cambridge University Press
2009-06-25
192
0521114292
9780521114295
N/A
Book picture is for illustrative purposes only, actual binding, cover or edition may vary.
This is a used book - there is no escaping the fact it has been read by someone else and it will show signs of wear and previous use. Overall we expect it to be in very good condition, but if you are not entirely satisfied please get in touch with us.