---

pi-system(f;l_server;l_choose;l_comm;l_pi) ==
  P.<[<l_server, loc-Server(f;[l_server; l_choose; l_comm; l_pi];1)>; 
       
       <l_choose, processChoose(l_comm)>;
        
       <l_comm, processComm(l_comm;l_choose)>;
        
       <l_pi, pi-trans(l_server;P) l_pi nat-to-incomparable(0) pi-names(P)>]
     , make-lg([<<-1, l_pi>, l_pi, "msg", pDVfire()>])
     >

---

Definitions :  lambda: x.A[x],  loc-Server: loc-Server(f;L0;n0),  processChoose: processChoose(l_comm),  processComm: processComm(l_comm;l_choose),  apply: f a,  pi-trans: pi-trans(l_loc;P),  nat-to-incomparable: nat-to-incomparable(n),  pi-names: pi-names(p),  make-lg: make-lg(L),  cons: [car / cdr],  minus: -n,  natural_number: $n,  pair: <a, b>,  token: "$token",  pDVfire: pDVfire(),  nil: []
FDL editor aliases :  pi-system

---

pi-system(f;l$_{server}$;l$_{choose}$;l$_{comm\mbackslash{}f\000C
f7d$;l$_{pi}$)  ==
    \mlambda{}P.<[<l$_{server}$,  loc-Server(f;[l$_{server}$;  l$\mbackslash{}ff5\000C
f{choose}$;  l$_{comm}$;  l$_{pi}$];1)> 
             
              <l$_{choose}$,  processChoose(l$_{comm}$)>
               
              <l$_{comm}$,  processComm(l$_{comm}$;l$_{c\000C
hoose}$)>
               
              <l$_{pi}$,  pi-trans(l$_{server}$;P)  l$_{p\000C
i}$  nat-to-incomparable(0)  pi-names(P)>]
          ,  make-lg([<<-1,  l$_{pi}$>,  l$_{pi}$,  "msg",  pDVfire()>\000C
])
          >


Date html generated: 2010_08_28-AM-01_41_54
Last ObjectModification: 2010_05_05-PM-04_16_18

Home Index