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