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

This handbook with exercises reveals in formalisms, hitherto mainly used for hardware and software design and verification, unexpected mathematical beauty. The

In contrast to other books on this topic, which have all been written by logicians, this book is written from the computer science perspective. The lambda calcu

Well-respected text for computer science students provides an accessible introduction to functional programming. Cogent examples illuminate the central ideas, a

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