Nuprl Definition : new_23_sig

Nuprl Definition : new_23_sig_Rounds

new_23_sig_Rounds(Cmd;cmdeq;coeff;flrs;notify;propose;reps;f) ==
  λzi.let n,c = zi
      in new_23_sig_Round(Cmd;cmdeq;coeff;flrs;notify;propose;reps;f)
         <<n, 0>, c> || new_23_sig_NewRounds(Cmd;notify;propose;f) n
                         >z> new_23_sig_Round(Cmd;cmdeq;coeff;flrs;notify;propose;reps;f) z

Definitions occuring in Statement : new_23_sig_NewRounds: new_23_sig_NewRounds(Cmd;notify;propose;f), new_23_sig_Round: new_23_sig_Round(Cmd;cmdeq;coeff;flrs;notify;propose;reps;f), parallel-class: X || Y, bind-class: X >x> Y[x], apply: f a, lambda: λx.A[x], spread: spread def, pair: <a, b>, natural_number: $n
FDL editor aliases : new_23_sig_Rounds

Latex:
new\_23\_sig\_Rounds(Cmd;cmdeq;coeff;flrs;notify;propose;reps;f) == \mlambda{}zi.let n,c = zi in new\_23\_sig\_Round(Cmd;cmdeq;coeff;flrs;notify;propose;reps;f) <<n, 0>, c> || new\_23\_sig\_NewRounds(Cmd;notify;propose;f) n >z> new\_23\_sig\_Round(Cmd;cmdeq;coeff;flrs;notify;propose;reps;f) z Date html generated: 2015_07_23-PM-03_51_38 Last ObjectModification: 2013_11_23-PM-09_55_54 Home Index