Nuprl Definition : pv11_p1_CommanderNotify
pv11_p1_CommanderNotify(Cmd;accpts;mf) ==
λbsp.return-loc-bag-class(λ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: return-loc-bag-class(x),
apply: f a,
lambda: λx.A[x],
pair: <a, b>
FDL editor aliases :
pv11_p1_CommanderNotify
Latex:
pv11\_p1\_CommanderNotify(Cmd;accpts;mf) ==
\mlambda{}bsp.return-loc-bag-class(\mlambda{}ldr.(pv11\_p1\_p2a'broadcast(Cmd;mf) accpts <ldr, bsp>))
Date html generated:
2015_07_23-PM-04_13_18
Last ObjectModification:
2014_11_26-AM-11_26_34
Home
Index