9
Simultaneous Fixpoints
•
LFP
simult
= LFP
•
IFP
simult
= IFP
•
PFP
simult
= PFP
•