Nuprl Definition : pv8_p1_init_leader
pv8_p1_init_leader(Cid;Op) == 
loc.<pv8_p1_init_ballot_num() loc, pv8_p1_init_active(), pv8_p1_init_proposals(Cid;Op)>
Definitions occuring in Statement :
pv8_p1_init_active: pv8_p1_init_active(),
pv8_p1_init_ballot_num: pv8_p1_init_ballot_num(),
pv8_p1_init_proposals: pv8_p1_init_proposals(Cid;Op),
apply: f a,
lambda: x.A[x],
pair: <a, b>
FDL editor aliases :
pv8_p1_init_leader
pv8_p1_init_leader
pv8\_p1\_init\_leader(Cid;Op) ==
\mlambda{}loc.<pv8\_p1\_init\_ballot\_num() loc, pv8\_p1\_init\_active(), pv8\_p1\_init\_proposals(Cid;Op)>
Date html generated:
2012_02_20-PM-07_24_21
Last ObjectModification:
2012_02_06-PM-01_43_33
Home
Index