A Constructive Semantics Of The Lambda Calculus

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