Nuprl Definition : new_23_sig

Nuprl Definition : new_23_sig_Rounds-program

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

                         >>= λz.(new_23_sig_Round-program(Cmd;cmdeq;coeff;flrs;notify;propose;reps;f) z)

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

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