Lambda-calculus, Combinators and Functional Programming (Paperback)

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.

General

Imprint:	Cambridge UniversityPress
Country of origin:	United Kingdom
Series:	Cambridge Tracts in Theoretical Computer Science
Release date:	June 2009
First published:	February 2009
Authors:	G. E. Revesz
Dimensions:	244 x 170 x 10mm (L x W x T)
Format:	Paperback - Trade
Pages:	192
ISBN-13:	978-0-521-11429-5
Categories:	Books > Computing & IT > General theory of computing > Mathematical theory of computation
LSN:	0-521-11429-2
Barcode:	9780521114295

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!