Rekursion

abstrakt:

data Exp = ...
| Recursion { rname :: S.Id, body :: Exp }

konkret:

(rec n b)

Semantik von rec n b in Umgebung E

ist der Fixpunkt (vom Typ Comp)

der Funktion (vom Typ Comp → Comp)

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