Lambda Calculi
Chris Hankin · 1994
Abstract BL Presents a fresh perspective on the role of calculus in computer science 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 calculus lies at the foundation of computer science and here Hankin emphasizes the practical relevance of the theory behind it. Final year undergraduates and graduate students will find this text useful in their studies and as a stepping stone towards more specialist literature.