A Constructive Semantics Of The Lambda Calculus by Basu, Kalyan Shenkar
21,04 €
This book is an introduction to the study of the lambda calculus. It explains how the lambda calculus can be used to define programming languages and to reason about their behavior. It is suitable for readers with a basic knowledge of discrete mathematics and computer science.
Jetzt bei Ebay:
![Produktbild - The City Inside by Basu, Samit [Paperback]](https://i.ebayimg.com/thumbs/images/g/NxYAAOSweulnX5zR/s-l140.jpg)
