Nuprl Definition : new_23_sig

Nuprl Definition : new_23_sig_Quorum-program

new_23_sig_Quorum-program(Cmd;cmdeq;coeff;flrs;notify;propose;reps;f) ==
  λni.eclass1-program(new_23_sig_when_quorum(Cmd;cmdeq;coeff;flrs;notify;propose;reps;f) ni;
                      new_23_sig_vote'base-program(Cmd;notify;propose;f))
      o new_23_sig_QuorumState-program(Cmd;notify;propose;f) ni

Definitions occuring in Statement : new_23_sig_QuorumState-program: new_23_sig_QuorumState-program(Cmd;notify;propose;f), new_23_sig_when_quorum: new_23_sig_when_quorum(Cmd;cmdeq;coeff;flrs;notify;propose;reps;f), new_23_sig_vote'base-program: new_23_sig_vote'base-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_Quorum-program

Latex:
new\_23\_sig\_Quorum-program(Cmd;cmdeq;coeff;flrs;notify;propose;reps;f) == \mlambda{}ni.eclass1-program(new\_23\_sig\_when\_quorum(Cmd;cmdeq;coeff;flrs;notify;propose;reps;f) ni; new\_23\_sig\_vote'base-program(Cmd;notify;propose;f)) o new\_23\_sig\_QuorumState-program(Cmd;notify;propose;f) ni Date html generated: 2015_07_23-PM-03_50_50 Last ObjectModification: 2013_11_23-PM-09_55_02 Home Index