Andere Semantiken?

Beispiel:

(prim / 1 0) ==> (error divide-by-zero)
(app (lam x 3) (prim / 1 0)) =?=> 3

Umgebung speichert für Namen (x):

• call-by-value:

  Wert des Arguments

• call-by-name:

  Rechnung, die diesen Wert ergibt