3.3.3

Futamura-Turchin's Projections

 

 

<IntL (PL) (X)>     =     <<Spec (IntL) (PL)> (X)>     =     <P'M (X)>
<Spec (IntL) (PL)> = <<Spec (Spec) (IntL)> (PL)> = <ComL (PL)>
<Spec  (Spec) (IntL)> = <<Spec  (Spec)  (Spec)>  (IntL)> = <CoCom (IntL)>

 

 

 <Spec (IntL) (PL)>     Þ     P'M

 

 

 <Spec (Spec) (IntL)> Þ ComL

 

 <Spec (Spec) (Spec)> Þ CoCom