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