\begin{slide}{Umgebungen}

  \begin{itemize}
\item
  Umgebungen Env :: Var $\to$ (Value $\cup$ Error)
  \end{itemize}

(Variable nicht gebunden: Error)

Operationen mit Umgebungen:
\begin{itemize}
\item lookup :: Var $\to$ Env $\to$ (Value $\cup$ Error)

lookup $i$ $e$ = $e i$

\item leere Umgebung $=$ const Error 
$= \lambda j.\text{Error}$

\item neue Bindung: 

  $e[i/v] := 
  \lambda j . \text{~if~} i=j \text{~then~} v 
  \text{~else~} e j$
\end{itemize}


\end{slide}
