Items related to Lambda-calculus, Combinators and Functional Programming:...

Lambda-calculus, Combinators and Functional Programming: 4 (Cambridge Tracts in Theoretical Computer Science, Series Number 4) - Softcover

Revesz, G

 
9780521114295: Lambda-calculus, Combinators and Functional Programming: 4 (Cambridge Tracts in Theoretical Computer Science, Series Number 4)

Synopsis

Provides computer science students and researchers with a firm background in lambda-calculus and combinators.

"synopsis" may belong to another edition of this title.

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.

"About this title" may belong to another edition of this title.