Nuprl Definition : new_23_sig_Notify-program

new_23_sig_Notify-program(Cmd;clients;notify;propose;f) ==
  λn.once-class-program(eclass0-program(new_23_sig_decision(Cmd;clients;notify;propose;f) n;
                        new_23_sig_decided'base-program(Cmd;notify;propose;f)))


Definitions occuring in Statement :  new_23_sig_decision: new_23_sig_decision(Cmd;clients;notify;propose;f),  new_23_sig_decided'base-program: new_23_sig_decided'base-program(Cmd;notify;propose;f),  once-class-program: once-class-program(pr),  eclass0-program: eclass0-program(f;pr),  apply: f a,  lambda: λx.A[x]
FDL editor aliases :  new_23_sig_Notify-program
Latex:
new\_23\_sig\_Notify-program(Cmd;clients;notify;propose;f)  ==
    \mlambda{}n.once-class-program(eclass0-program(new\_23\_sig\_decision(Cmd;clients;notify;propose;f)  n;
                                                new\_23\_sig\_decided'base-program(Cmd;notify;propose;f)))


Date html generated: 2016_05_17-PM-02_05_26
Last ObjectModification: 2013_11_23-PM-09_55_52

Theory : 2!3!consensus!with!signatures


Home Index