The lambda-calculus lies at the very foundations of computer science. Besides its historical role in computability theory it has had significant influence on pr

This is a textbook for final year undergraduates/first year graduates in computer science, as well as a useful introduction for research students seeking a soli

Graduate text on mathematical foundations of programming languages, and operational and denotational semantics.

Basic Category Theory for Computer Scientists provides a straightforward presentation of the basic constructions and terminology of category theory, including l

Combinatory logic and lambda-calculus, originally devised in the 1920's, have since developed into linguistic tools, especially useful in programming languages.