\begin{slide}{call-by-value}

Semantik von Applikation \verb|(app f a)|
in Umgebung $e$
\begin{itemize}
\item Sem. von $f$ in $e$ ist \verb|VProc p :: Value|
\item Sem. von $a$ in $e$ ist \verb|v :: Value|
\item berechne \verb|p v|
\end{itemize}

Semantik von Abstraktion \verb|(lam i b)| 
in Umgebung e
\begin{itemize}
\item ist Funktion $\lambda x.$ \dots
\item Semantik von $b$ in $e[i/x]$
\end{itemize}

Semantik von Bezeichner \verb|i| in Umgebung $e$
\begin{itemize}
\item \verb|lookup i e|
\end{itemize}

\end{slide}
