Lambda Calculi

The -caluclus lies at the very foundation of Computer Science. Besides its historical role in computability theory it has had significant influence on programming language design and implementation, denotational semantics and domain theory. In contrast to earlier books on this topic, which were written by logicians, the book is written from a Computer Science perspective and emphases the practical relevance of many of the key theoretical ideas. The book is intended as a course text for final year undergraduates or first year graduate students in Computer Science. Research students should find it a useful introduction to the more specialist literature.