Nuprl Definition : new_23_sig

Nuprl Definition : new_23_sig_Replica-program

new_23_sig_Replica-program(Cmd;clients;cmdeq;coeff;flrs;notify;propose;reps;slots;f) ==
new_23_sig_NewVoters-program(Cmd;notify;propose;slots;f)
>>= λz.(new_23_sig_Voter-program(Cmd;clients;cmdeq;coeff;flrs;notify;propose;reps;f) z)

Definitions occuring in Statement : new_23_sig_NewVoters-program: new_23_sig_NewVoters-program(Cmd;notify;propose;slots;f), new_23_sig_Voter-program: new_23_sig_Voter-program(Cmd;clients;cmdeq;coeff;flrs;notify;propose;reps;f), bind-class-program: xpr >>= ypr, apply: f a, lambda: λx.A[x]
FDL editor aliases : new_23_sig_Replica-program

Latex:
new\_23\_sig\_Replica-program(Cmd;clients;cmdeq;coeff;flrs;notify;propose;reps;slots;f) == new\_23\_sig\_NewVoters-program(Cmd;notify;propose;slots;f) >>= \mlambda{}z.(new\_23\_sig\_Voter-program(Cmd;clients;cmdeq;coeff;flrs;notify;propose;reps;f) z) Date html generated: 2015_07_23-PM-03_52_24 Last ObjectModification: 2013_11_23-PM-09_56_46 Home Index