\begin{slide}{Der Lambda-Kalkül}

(Alonzo Church, 1936)  Syntax:
  \begin{itemize}
  \item Variablen $x, y,\dots$
  \item Applikationen $xx$, $(\lambda x.xx)y$
  \item Abstraktionen 
    $\lambda x.xx$, $\lambda x.(\lambda y.x)$
  \end{itemize}

Begriffe: freie Variablen (FV), gebundene Variablen (BV),


\end{slide}
