6
Fixpoints
•
In general:
•
•
Theorem
LFP, IFP, PFP
µ
L
w
1
,
w
•
•
Proof
[in class]