Nuprl Definition : new_23_sig_QuorumState

new_23_sig_QuorumState(Cmd;notify;propose;f) ==
  λni.memory-class1(initially λloc.<[], []>
                    applying new_23_sig_add_to_quorum(Cmd) ni
                    on new_23_sig_vote'base(Cmd;notify;propose;f))


Definitions occuring in Statement :  new_23_sig_add_to_quorum: new_23_sig_add_to_quorum(Cmd),  new_23_sig_vote'base: new_23_sig_vote'base(Cmd;notify;propose;f),  memory-class1: memory-class1,  nil: [],  apply: f a,  lambda: λx.A[x],  pair: <a, b>
FDL editor aliases :  new_23_sig_QuorumState
Latex:
new\_23\_sig\_QuorumState(Cmd;notify;propose;f)  ==
    \mlambda{}ni.memory-class1(initially  \mlambda{}loc.<[],  []>
                                        applying  new\_23\_sig\_add\_to\_quorum(Cmd)  ni
                                        on  new\_23\_sig\_vote'base(Cmd;notify;propose;f))


Date html generated: 2015_07_23-PM-03_50_39
Last ObjectModification: 2013_11_23-PM-09_54_50

Home Index