\begin{slide}{Erweiterungen, Anwendungen}

ausgehend vom einfachen Lambda-Kalkül baut man:
\begin{itemize}\itemsep 2pt\parskip 2pt
\item
  Typsysteme (jeder Ausdruck, jede Variable besitzt Typ)
\item
  eingebaute Datentypen (außer Funktionen) und Operationen,
  z. B. Zahlen
\item
  effiziente Implementierung von Reduktionen
  (ohne die umständlichen Umbenennungen)
\end{itemize}
das bildet die Grundlage für
\begin{itemize}\itemsep 2pt\parskip 2pt
\item
  exakte Analyse von 
  Programmier/mathematischen/logischen Sprachen
\item
  Implementierung von Sprachen und
  Refactoring-Werkzeugen
\end{itemize}

\end{slide}
%%% Local Variables: 
%%% mode: latex
%%% TeX-master: "~/edu/ws06/sym/folien/sym"
%%% End: 
