Nuprl Definition : pv11_p1_CommanderNotify-program

pv11_p1_CommanderNotify-program(Cmd;accpts;mf) ==
  λbsp.return-loc-bag-class-program(λldr.(pv11_p1_p2a'broadcast(Cmd;mf) accpts <ldr, bsp>))


Definitions occuring in Statement :  pv11_p1_p2a'broadcast: pv11_p1_p2a'broadcast(Cmd;mf),  return-loc-bag-class-program: return-loc-bag-class-program(x),  apply: f a,  lambda: λx.A[x],  pair: <a, b>
FDL editor aliases :  pv11_p1_CommanderNotify-program
Latex:
pv11\_p1\_CommanderNotify-program(Cmd;accpts;mf)  ==
    \mlambda{}bsp.return-loc-bag-class-program(\mlambda{}ldr.(pv11\_p1\_p2a'broadcast(Cmd;mf)  accpts  <ldr,  bsp>))


Date html generated: 2015_07_23-PM-04_13_20
Last ObjectModification: 2014_11_26-AM-11_26_39

Home Index