Nuprl Definition : pv8_p1_SpawnFirstScout
pv8_p1_SpawnFirstScout(Cid;Op;accpts;eq_Cid) == on-loc-class(
ldr.(pv8_p1_Scout(Cid;Op;accpts;eq_Cid) (inl <0, ldr> )))
Definitions occuring in Statement :
pv8_p1_Scout: pv8_p1_Scout(Cid;Op;accpts;eq_Cid),
on-loc-class: on-loc-class(X),
apply: f a,
lambda: x.A[x],
pair: <a, b>,
inl: inl x ,
natural_number: $n
FDL editor aliases :
pv8_p1_SpawnFirstScout
pv8_p1_SpawnFirstScout
pv8\_p1\_SpawnFirstScout(Cid;Op;accpts;eq$_{Cid}$) ==
on-loc-class(\mlambda{}ldr.(pv8\_p1\_Scout(Cid;Op;accpts;eq$_{Cid}$) (inl ɘ, ldr> )))
Date html generated:
2012_02_20-PM-07_32_40
Last ObjectModification:
2012_02_06-PM-01_48_47
Home
Index