Nuprl Definition : new_23_sig_NewRoundsState

new_23_sig_NewRoundsState(Cmd;notify;propose;f) ==
  λn.memory-class1(initially λloc.0
                   applying new_23_sig_update_round(Cmd) n
                   on new_23_sig_RoundInfo(Cmd;notify;propose;f))


Definitions occuring in Statement :  new_23_sig_update_round: new_23_sig_update_round(Cmd),  new_23_sig_RoundInfo: new_23_sig_RoundInfo(Cmd;notify;propose;f),  memory-class1: memory-class1,  apply: f a,  lambda: λx.A[x],  natural_number: $n
FDL editor aliases :  new_23_sig_NewRoundsState
Latex:
new\_23\_sig\_NewRoundsState(Cmd;notify;propose;f)  ==
    \mlambda{}n.memory-class1(initially  \mlambda{}loc.0
                                      applying  new\_23\_sig\_update\_round(Cmd)  n
                                      on  new\_23\_sig\_RoundInfo(Cmd;notify;propose;f))


Date html generated: 2015_07_23-PM-03_51_10
Last ObjectModification: 2013_11_23-PM-09_55_23

Home Index