Call-by-name

Semantik von Applikation (app f a) in Umgebung e

• Sem. von f in e ist VProc p :: Value
• wende p an auf Sem. von a in e

Semantik von Abstraktion (lam i b) in Umgebung e

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