\begin{slide}{Rekursion}

abstrakt:
\begin{verbatim}
data Exp = ...
         | Rec Name Exp
\end{verbatim}

Semantik von \verb|Rec n b| in Umgebung $E$

ist der Fixpunkt 
der Funktion (vom Typ Val $\to$ Val)

\[
\lambda c. \text{Semantik von $b$ in $E[n/c]$}
\]



\end{slide}
