\subsection{Lambda calculus}