\begin{slide}{Daten als Funktionen}

Simulation von Daten (Tupel) \\
durch Funktionen (Lambda-Ausdrücke):
\begin{itemize}
\item Konstruktor:
$\langle D_1,\ldots,D_k\rangle \Rightarrow \lambda s. s D_1 \ldots D_k$
\item Selektoren: 
$s_i \Rightarrow \lambda t . t (\lambda d_1 \ldots d_k.d_i)$
\end{itemize}
dann gilt $s_i \langle D_1, \ldots, D_k\rangle \to_{\beta}^* D_i$

Anwendungen:
\begin{itemize}
\item Auflösung simultaner Rekursion
\item Modellierung von Zahlen
\end{itemize}

\end{slide}
