Nuprl Definition : pv8_p1_ScoutState
pv8_p1_ScoutState(Cid;Op;accpts;eq_Cid) ==
b.Memory-class(pv8_p1_on_p1b(Cid;Op;eq_Cid) b;loc.{pv8_p1_init_scout(Cid;Op;accpts)};pv8_p1_p1b'base(Cid;Op))
Definitions occuring in Statement :
pv8_p1_on_p1b: pv8_p1_on_p1b(Cid;Op;eq_Cid),
pv8_p1_init_scout: pv8_p1_init_scout(Cid;Op;accpts),
pv8_p1_p1b'base: pv8_p1_p1b'base(Cid;Op),
Memory-class: Memory-class(f;init;X),
apply: f a,
lambda: x.A[x],
single-bag: {x}
FDL editor aliases :
pv8_p1_ScoutState
pv8_p1_ScoutState
pv8\_p1\_ScoutState(Cid;Op;accpts;eq$_{Cid}$) ==
\mlambda{}b.Memory-class(pv8\_p1\_on\_p1b(Cid;Op;eq$_{Cid}$)
b;\mlambda{}loc.\{pv8\_p1\_init\_scout(Cid;Op;accpts)\};pv8\_p1\_p1b'base(Cid;Op))
Date html generated:
2012_02_20-PM-07_28_52
Last ObjectModification:
2012_02_06-PM-01_46_33
Home
Index