Lambda application
= Lambda application
Application $MN$ applies the <lambda term> $M$ to the <lambda term> $N$. It associates to the left: $MNP=(MN)P$. Together with variables and <lambda abstraction>, it generates all <lambda terms>.
= Lambda application
Application $MN$ applies the <lambda term> $M$ to the <lambda term> $N$. It associates to the left: $MNP=(MN)P$. Together with variables and <lambda abstraction>, it generates all <lambda terms>.