Nuprl Definition : pv11_p1_init_leader
pv11_p1_init_leader(Cmd) == λloc.<pv11_p1_init_ballot_num() loc, pv11_p1_init_active(), pv11_p1_init_proposals(Cmd)>
Definitions occuring in Statement :
pv11_p1_init_active: pv11_p1_init_active(),
pv11_p1_init_ballot_num: pv11_p1_init_ballot_num(),
pv11_p1_init_proposals: pv11_p1_init_proposals(Cmd),
apply: f a,
lambda: λx.A[x],
pair: <a, b>
FDL editor aliases :
pv11_p1_init_leader
Latex:
pv11\_p1\_init\_leader(Cmd) ==
\mlambda{}loc.<pv11\_p1\_init\_ballot\_num() loc, pv11\_p1\_init\_active(), pv11\_p1\_init\_proposals(Cmd)>
Date html generated:
2015_07_23-PM-04_12_45
Last ObjectModification:
2014_11_26-AM-11_25_26
Home
Index