Nuprl Definition : new_23_sig_NewRounds

new_23_sig_NewRounds(Cmd;notify;propose;f) ==
  λn.((new_23_sig_when_new_round(Cmd) n o new_23_sig_RoundInfo(Cmd;notify;propose;f)) o
     new_23_sig_NewRoundsState(Cmd;notify;propose;f) n)


Definitions occuring in Statement :  new_23_sig_NewRoundsState: new_23_sig_NewRoundsState(Cmd;notify;propose;f),  new_23_sig_when_new_round: new_23_sig_when_new_round(Cmd),  new_23_sig_RoundInfo: new_23_sig_RoundInfo(Cmd;notify;propose;f),  eclass2: (X o Y),  eclass1: (f o X),  apply: f a,  lambda: λx.A[x]
FDL editor aliases :  new_23_sig_NewRounds
Latex:
new\_23\_sig\_NewRounds(Cmd;notify;propose;f)  ==
    \mlambda{}n.((new\_23\_sig\_when\_new\_round(Cmd)  n  o  new\_23\_sig\_RoundInfo(Cmd;notify;propose;f))  o
          new\_23\_sig\_NewRoundsState(Cmd;notify;propose;f)  n)


Date html generated: 2016_05_17-PM-02_04_44
Last ObjectModification: 2013_11_23-PM-09_55_34

Theory : 2!3!consensus!with!signatures


Home Index