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

A classic account of mathematical logic from a pioneering giant in the field Logic is sometimes called the foundation of mathematics: the logician studies the k