\begin{slide}{Mehrstellige Funktionen}

\dots simulieren durch einstellige:

\begin{itemize}
\item Abstraktion: $\lambda x y z . B := \lambda x. \lambda y. \lambda z.B$
\item Applikation: $f P Q R := ((f P) Q) R$
\end{itemize}

weiterer \emph{syntactic sugar}:
\begin{verbatim}
let { f x =        A } in B
let { f   = \ x -> A } in B
\end{verbatim}

\end{slide}
