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.

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

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

Sku

GOR010388754

Title

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

Author

Gyorgy E. Revesz

Series

Cambridge Tracts in Theoretical Computer Science

Condition

Used - Very Good

Binding type

Paperback

Publisher

Cambridge University Press

Year published

2009-06-25

Number of pages

192

ISBN 10

0521114292

ISBN 13

9780521114295

Prizes

N/A

Cover note

Book picture is for illustrative purposes only, actual binding, cover or edition may vary.

Note

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.