variables, abstractor λ, punctuation (,)
x \e Λ
M \e Λ = > λx. M \e Λ
M \e Λ and N \e Λ = > M N \e Λ
slide
:
The lambda calculus -- terms