An Introduction to Lambada Calculi for Computer Scientists

The lambda-calculus lies at the very foundations of computerscience. Besides its historical role in computability theory it hashad significant influence on programming language design andimplementation, denotational semantics, and domain theory. T...