Lambda-Calculus, Combinators, and Functional Programming |
|
| Author:
| Revesz, G. E. |
| Series title: | Cambridge Tracts in Theoretical Computer Science Ser. |
| ISBN: | 978-0-521-11429-5 |
| Publication Date: | Jun 2009 |
| Publisher: | Cambridge University Press
|
| Book Format: | Paperback |
| List Price: | USD $60.99 |
Book 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.
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.