Nuprl Definition : pv11_p1_AcceptorsP1a-program

pv11_p1_AcceptorsP1a-program(Cmd;ldrs_uid;mf) ==
  let f = λloc,zi,z. let ldr,b = zi in let bnum,pvals = z in {pv11_p1_p1b'send(Cmd;mf) ldr <loc, b, bnum, pvals>} in
      eclass1-program(f;pv11_p1_p1a'base-program(Cmd;mf)) o pv11_p1_AcceptorState-program(Cmd;ldrs_uid;mf)


Definitions occuring in Statement :  pv11_p1_AcceptorState-program: pv11_p1_AcceptorState-program(Cmd;ldrs_uid;mf),  pv11_p1_p1b'send: pv11_p1_p1b'send(Cmd;mf),  pv11_p1_p1a'base-program: pv11_p1_p1a'base-program(Cmd;mf),  eclass2-program: Xpr o Ypr,  eclass1-program: eclass1-program(f;pr),  let: let,  apply: f a,  lambda: λx.A[x],  spread: spread def,  pair: <a, b>,  single-bag: {x}
FDL editor aliases :  pv11_p1_AcceptorsP1a-program
Latex:
pv11\_p1\_AcceptorsP1a-program(Cmd;ldrs$_{uid}$;mf)  ==
    let  f  =  \mlambda{}loc,zi,z.  let  ldr,b  =  zi 
                                          in  let  bnum,pvals  =  z 
                                                in  \{pv11\_p1\_p1b'send(Cmd;mf)  ldr  <loc,  b,  bnum,  pvals>\}  in
            eclass1-program(f;pv11\_p1\_p1a'base-program(Cmd;mf))
            o  pv11\_p1\_AcceptorState-program(Cmd;ldrs$_{uid}$;mf)


Date html generated: 2015_07_23-PM-04_13_07
Last ObjectModification: 2014_11_26-AM-11_26_10

Home Index