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

A book about the lambda calculus; which lies at the central foundations of computer science. The author presents a fresh perspective on the role of calculus in

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

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

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