Nuprl Definition : pv11_p1_rep_Ballot_Num
pv11_p1_rep_Ballot_Num() ==  λx.x
Definitions occuring in Statement : 
lambda: λx.A[x]
FDL editor aliases : 
pv11_p1_rep_Ballot_Num
Latex:
pv11\_p1\_rep\_Ballot\_Num()  ==    \mlambda{}x.x
Date html generated:
2016_05_17-PM-02_46_53
Last ObjectModification:
2014_11_26-AM-11_21_41
Theory : paxos!synod
Home
Index