Rekursion

abstrakt:

data Exp = ...
         | Rec Name Exp

Semantik von Rec n b in Umgebung E

ist der Fixpunkt der Funktion (vom Typ Val → Val)

λc.Semantik von b in E[n/c]