Nuprl Definition : new_23_sig

Nuprl Definition : new_23_sig_NewRounds-program

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

Definitions occuring in Statement : new_23_sig_NewRoundsState-program: new_23_sig_NewRoundsState-program(Cmd;notify;propose;f), new_23_sig_when_new_round: new_23_sig_when_new_round(Cmd), new_23_sig_RoundInfo-program: new_23_sig_RoundInfo-program(Cmd;notify;propose;f), eclass2-program: Xpr o Ypr, eclass1-program: eclass1-program(f;pr), apply: f a, lambda: λx.A[x]
FDL editor aliases : new_23_sig_NewRounds-program

Latex:
new\_23\_sig\_NewRounds-program(Cmd;notify;propose;f) == \mlambda{}n.eclass1-program(new\_23\_sig\_when\_new\_round(Cmd) n; new\_23\_sig\_RoundInfo-program(Cmd;notify;propose;f)) o new\_23\_sig\_NewRoundsState-program(Cmd;notify;propose;f) n Date html generated: 2015_07_23-PM-03_51_22 Last ObjectModification: 2013_11_23-PM-09_55_37 Home Index