Nuprl Definition : pv11_p1_Commander
pv11_p1_Commander(Cmd;accpts;reps;mf) ==
λbp.pv11_p1_CommanderNotify(Cmd;accpts;mf) bp || pv11_p1_CommanderOutput(Cmd;accpts;reps;mf) bp
Definitions occuring in Statement :
pv11_p1_CommanderOutput: pv11_p1_CommanderOutput(Cmd;accpts;reps;mf),
pv11_p1_CommanderNotify: pv11_p1_CommanderNotify(Cmd;accpts;mf),
parallel-class: X || Y,
apply: f a,
lambda: λx.A[x]
FDL editor aliases :
pv11_p1_Commander
Latex:
pv11\_p1\_Commander(Cmd;accpts;reps;mf) ==
\mlambda{}bp.pv11\_p1\_CommanderNotify(Cmd;accpts;mf) bp || pv11\_p1\_CommanderOutput(Cmd;accpts;reps;mf) bp
Date html generated:
2015_07_23-PM-04_32_07
Last ObjectModification:
2014_11_26-AM-11_27_24
Home
Index