Nuprl Definition : new_23_sig_Voter
new_23_sig_Voter(Cmd;clients;cmdeq;coeff;flrs;notify;propose;reps;f) ==
λz.let n,c = z
in (new_23_sig_Rounds(Cmd;cmdeq;coeff;flrs;notify;propose;reps;f) <n, c> until new_23_sig_Notify(Cmd;clients;notify\000C;propose;f) n)
|| new_23_sig_Notify(Cmd;clients;notify;propose;f) n
Definitions occuring in Statement :
new_23_sig_Rounds: new_23_sig_Rounds(Cmd;cmdeq;coeff;flrs;notify;propose;reps;f),
new_23_sig_Notify: new_23_sig_Notify(Cmd;clients;notify;propose;f),
until-class: (X until Y),
parallel-class: X || Y,
apply: f a,
lambda: λx.A[x],
spread: spread def,
pair: <a, b>
FDL editor aliases :
new_23_sig_Voter
Latex:
new\_23\_sig\_Voter(Cmd;clients;cmdeq;coeff;flrs;notify;propose;reps;f) ==
\mlambda{}z.let n,c = z
in (new\_23\_sig\_Rounds(Cmd;cmdeq;coeff;flrs;notify;propose;reps;f) <n, c> until new\_23\_sig\_Notif\000Cy(Cmd;clients;notify;propose;f) n)
|| new\_23\_sig\_Notify(Cmd;clients;notify;propose;f) n
Date html generated:
2015_07_23-PM-03_51_43
Last ObjectModification:
2013_11_23-PM-09_56_01
Home
Index