---

pi-trans(l_loc;P) ==
  Y 
  (pi-trans,P.
    if pizero?(P) then l,serial,avoid.pi-null-trans()
    if pipar?(P)
      then let Q = pipar-left(P) in
            let R = pipar-right(P) in
            pi-bar-trans(l_loc;Q;R;p.(pi-trans p))
    if pirep?(P)
      then let Q = pirep-body(P) in
               pi-rep-trans(l_loc;Q;p.(pi-trans p))
    if pinew?(P)
      then let x = pinew-name(P) in
            let Q = pinew-body(P) in
            pi-new-trans(x;Q;p.(pi-trans p))
    if pioption?(P) then pi-guarded-trans(pi-choices(P);p.(pi-trans p))
    if picomm?(P) then pi-guarded-trans(pi-choices(P);p.(pi-trans p))
    else l,serial,avoid.impossible
    fi ) 
  P

---

Definitions :  ycomb: Y,  pizero?: pizero?(x),  pi-null-trans: pi-null-trans(),  pipar?: pipar?(x),  pipar-left: pipar-left(x),  pipar-right: pipar-right(x),  pi-bar-trans: pi-bar-trans(l_loc;P;Q;g),  pirep?: pirep?(x),  pirep-body: pirep-body(x),  pi-rep-trans: pi-rep-trans(l_loc;P;g),  pinew?: pinew?(x),  pinew-name: pinew-name(x),  let: let,  pinew-body: pinew-body(x),  pi-new-trans: Error :pi-new-trans,  pioption?: pioption?(x),  ifthenelse: if b then t else f fi ,  picomm?: picomm?(x),  pi-guarded-trans: Error :pi-guarded-trans,  pi-choices: pi-choices(t),  apply: f a,  lambda: x.A[x]
FDL editor aliases :  pi-trans

---

pi-trans(l$_{loc}$;P)  ==
    Y 
    (\mlambda{}pi-trans,P.
        if  pizero?(P)  then  \mlambda{}l,serial,avoid.pi-null-trans()
        if  pipar?(P)
            then  let  Q  =  pipar-left(P)  in
                        let  R  =  pipar-right(P)  in
                        pi-bar-trans(l$_{loc}$;Q;R;\mlambda{}p.(pi-trans  p))
        if  pirep?(P)  then  let  Q  =  pirep-body(P)  in  pi-rep-trans(l$_{loc}$;Q;\mlambda{}p.(pi-t\000C
rans  p))
        if  pinew?(P)
            then  let  x  =  pinew-name(P)  in
                        let  Q  =  pinew-body(P)  in
                        pi-new-trans(x;Q;\mlambda{}p.(pi-trans  p))
        if  pioption?(P)  then  pi-guarded-trans(pi-choices(P);\mlambda{}p.(pi-trans  p))
        if  picomm?(P)  then  pi-guarded-trans(pi-choices(P);\mlambda{}p.(pi-trans  p))
        else  \mlambda{}l,serial,avoid.impossible
        fi  ) 
    P


Date html generated: 2010_08_28-AM-01_41_49
Last ObjectModification: 2010_04_30-PM-05_27_23

Home Index