by Chris Hankin
"The [lambda]-calculus lies at the very foundations of computer science. Besides its historical role in computability theory it has had significant influence on programming language design and impl…