9
Simultaneous Fixpoints
•LFPsimult = LFP
•IFPsimult = IFP
•PFPsimult = PFP
•