Nuprl Definition : new_23_sig_Notify-program
new_23_sig_Notify-program(Cmd;clients;notify;propose;f) ==
λn.once-class-program(eclass0-program(new_23_sig_decision(Cmd;clients;notify;propose;f) n;
new_23_sig_decided'base-program(Cmd;notify;propose;f)))
Definitions occuring in Statement :
new_23_sig_decision: new_23_sig_decision(Cmd;clients;notify;propose;f),
new_23_sig_decided'base-program: new_23_sig_decided'base-program(Cmd;notify;propose;f),
once-class-program: once-class-program(pr),
eclass0-program: eclass0-program(f;pr),
apply: f a,
lambda: λx.A[x]
FDL editor aliases :
new_23_sig_Notify-program
Latex:
new\_23\_sig\_Notify-program(Cmd;clients;notify;propose;f) ==
\mlambda{}n.once-class-program(eclass0-program(new\_23\_sig\_decision(Cmd;clients;notify;propose;f) n;
new\_23\_sig\_decided'base-program(Cmd;notify;propose;f)))
Date html generated:
2015_07_23-PM-03_51_35
Last ObjectModification:
2013_11_23-PM-09_55_52
Home
Index