---

pi-choices(t) ==
  F(t) where 
  F(0) = []  
  F(pr.P) = [<pr, P>] where  
             r = F(P)   
  F(P + Q) = cp @ cq where  
              cp = F(P)  
              cq = F(Q)  
  F(P | Q) = [] where  
              a = F(P)  
              b = F(Q)  
  F(!P) = [] where  
           a = F(P)  
  F(new x.P) = [] where  
                a = F(P)

---

Definitions :  pi_term_ind: Error :pi_term_ind,  cons: [car / cdr],  pair: <a, b>,  append: as @ bs,  nil: []
FDL editor aliases :  pi-choices

---

pi-choices(t)  ==
    F(t)  where 
    F(0)  =  []   
    F(pr.P)  =  [<pr,  P>]  where   
                          r  =  F(P)     
    F(P  +  Q)  =  cp  @  cq  where   
                            cp  =  F(P)   
                            cq  =  F(Q)   
    F(P  |  Q)  =  []  where   
                            a  =  F(P)   
                            b  =  F(Q)   
    F(!P)  =  []  where   
                      a  =  F(P)   
    F(new  x.P)  =  []  where   
                                a  =  F(P)


Date html generated: 2010_08_27-PM-08_42_14
Last ObjectModification: 2010_02_05-PM-05_37_34

Home Index