call-by-value

Semantik von Applikation (app f a) in Umgebung e

• Sem. von f in e ist VProc p :: Value
• Sem. von a in e ist v :: Value
• berechne p v

Semantik von Abstraktion (lam i b) in Umgebung e

• ist Funktion λx. ...
• Semantik von b in e[i/x]

Semantik von Bezeichner i in Umgebung e

• lookup i e