Nuprl Definition : pv11_p1_Commander-program

pv11_p1_Commander-program(Cmd;accpts;reps;mf) ==
  λbp.pv11_p1_CommanderNotify-program(Cmd;accpts;mf) bp || pv11_p1_CommanderOutput-program(Cmd;accpts;reps;mf) bp


Definitions occuring in Statement :  pv11_p1_CommanderOutput-program: pv11_p1_CommanderOutput-program(Cmd;accpts;reps;mf),  pv11_p1_CommanderNotify-program: pv11_p1_CommanderNotify-program(Cmd;accpts;mf),  parallel-class-program: X || Y,  apply: f a,  lambda: λx.A[x]
FDL editor aliases :  pv11_p1_Commander-program
Latex:
pv11\_p1\_Commander-program(Cmd;accpts;reps;mf)  ==
    \mlambda{}bp.pv11\_p1\_CommanderNotify-program(Cmd;accpts;mf)  bp
            ||  pv11\_p1\_CommanderOutput-program(Cmd;accpts;reps;mf)  bp


Date html generated: 2015_07_23-PM-04_32_09
Last ObjectModification: 2014_11_26-AM-11_27_29

Home Index