Nuprl Definition : new_23_sig

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: 2015_07_23-PM-03_51_20 Last ObjectModification: 2013_11_23-PM-09_55_34 Home Index