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

Lambda calculus lies at the very foundation of computer science. Besides its historical role in computability theory, it has had significant influence on progra