Nuprl Definition : new_23_sig_NewRoundsState-program

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


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


Date html generated: 2015_07_23-PM-03_51_17
Last ObjectModification: 2013_11_23-PM-09_55_31

Home Index