Lambda-calculus, Combinators and Functional Programming - - G. E. Revesz - Paperback Bog - Cambridge University Press - 2009 - Engelsk - Booktok.dk
Brand: Cambridge University Press
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.
