# A Constructive Semantics Of The Lambda Calculus, Vol. 1

By **Kalyan Shenkar Basu**

- ISBN-13: 9781019962671
- Publisher: Legare Street Press
- Format: Hardcover
- Pages: 206
- Published: 18 Jul 2023

## About this book

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.This work has been selected by scholars as

---

Buy this book at [MyBookBandits](https://mybookbandits.com/books/9781019962671) — a new copy with worldwide UPS delivery.