Lambda Calculi

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... View More