## Lambda Calculus: Identity function

In the previous post we saw the lexical syntax of lambda calculus. From now on we will explore lambda calculus functions starting with Identity function in »

In the previous post we saw the lexical syntax of lambda calculus. From now on we will explore lambda calculus functions starting with Identity function in »

Lambda Calculus was invented by Alonzo Church as a formal system to model computations using functions to define abstractions and applications. It is the most simplest »

There couldn't be a much shorter and crispier introduction to lambda calculus than by Graham Hutton. We will see more about lambda calculus in next post. »