Nuprl Definition : pv8_p1_Scout
pv8_p1_Scout(Cid;Op;accpts;eq_Cid) == 
b.pv8_p1_ScoutNotify(accpts) b || pv8_p1_ScoutOutput(Cid;Op;accpts;eq_Cid) b
Definitions occuring in Statement :
pv8_p1_ScoutOutput: pv8_p1_ScoutOutput(Cid;Op;accpts;eq_Cid),
pv8_p1_ScoutNotify: pv8_p1_ScoutNotify(accpts),
parallel-class: X || Y,
apply: f a,
lambda: x.A[x]
FDL editor aliases :
pv8_p1_Scout
pv8_p1_Scout
pv8\_p1\_Scout(Cid;Op;accpts;eq$_{Cid}$) ==
\mlambda{}b.pv8\_p1\_ScoutNotify(accpts) b || pv8\_p1\_ScoutOutput(Cid;Op;accpts;eq$_{Cid}$\000C) b
Date html generated:
2012_02_20-PM-07_29_41
Last ObjectModification:
2012_02_06-PM-01_47_02
Home
Index