Nuprl Definition : pv11_p1_Scout-program
pv11_p1_Scout-program(Cmd;accpts;mf) ==
λb.pv11_p1_ScoutNotify-program(Cmd;accpts;mf) b || pv11_p1_ScoutOutput-program(Cmd;accpts;mf) b
Definitions occuring in Statement :
pv11_p1_ScoutOutput-program: pv11_p1_ScoutOutput-program(Cmd;accpts;mf),
pv11_p1_ScoutNotify-program: pv11_p1_ScoutNotify-program(Cmd;accpts;mf),
parallel-class-program: X || Y,
apply: f a,
lambda: λx.A[x]
FDL editor aliases :
pv11_p1_Scout-program
Latex:
pv11\_p1\_Scout-program(Cmd;accpts;mf) ==
\mlambda{}b.pv11\_p1\_ScoutNotify-program(Cmd;accpts;mf) b || pv11\_p1\_ScoutOutput-program(Cmd;accpts;mf) b
Date html generated:
2015_07_23-PM-04_32_51
Last ObjectModification:
2014_11_26-AM-11_29_17
Home
Index