Nuprl Definition : RSC_Notify
RSC_Notify(Cmd;clients) == 
n.once-class(RSC_Decision(Cmd;clients) n@|Loc, RSC_Decided(Cmd)|)
Definitions occuring in Statement :
RSC_Decision: RSC_Decision(Cmd;clients),
RSC_Decided: RSC_Decided(Cmd),
concat-lifting-loc-1: f@,
simple-loc-comb-1: F|Loc, X|,
once-class: once-class(X),
apply: f a,
lambda: x.A[x]
FDL editor aliases :
RSC_Notify
RSC\_Notify(Cmd;clients) == \mlambda{}n.once-class(RSC\_Decision(Cmd;clients) n@|Loc, RSC\_Decided(Cmd)|)
Date html generated:
2012_02_20-PM-03_59_43
Last ObjectModification:
2012_02_02-PM-01_58_38
Home
Index