Lambda Function

A function that does not have a specific name, can be called directly.

Notation

$\lambda (\text{inputs}).(\text{outputs})$

Examples

• $\lambda x.x+1$. Then, $(\lambda x.x+1)5=6$
• $\lambda x.\lambda y.x+y$. Then, $(\lambda x.\lambda y.x+y)2,3=5$