Lambda Calculi
| Author | : Chris Hankin |
| Publisher | : |
| Total Pages | : 0 |
| Release | : 2023 |
| ISBN-10 | : 1383026351 |
| ISBN-13 | : 9781383026351 |
| Rating | : 4/5 (351 Downloads) |
Book Synopsis Lambda Calculi by : Chris Hankin
Download or read book Lambda Calculi written by Chris Hankin and published by . This book was released on 2023 with total page 0 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.
