Umgebungen

• Umgebungen Env :: Var → (Value ∪ Error)

(Variable nicht gebunden: Error)

Operationen mit Umgebungen:

• lookup :: Var → Env → (Value ∪ Error)

  lookup i e = ei

• leere Umgebung = const Error = λj.Error

• neue Bindung:

  e[i/v] : = λj. if i = j then v else ej