Nuprl Definition : send-once-loc-class
send-once-loc-class(b) == (λes,e. (b loc(e)) once)
Definitions occuring in Statement :
once-class: (X once),
es-loc: loc(e),
apply: f a,
lambda: λx.A[x]
FDL editor aliases :
send-once-loc-class
Latex:
send-once-loc-class(b) == (\mlambda{}es,e. (b loc(e)) once)
Date html generated:
2016_05_16-PM-11_22_39
Last ObjectModification:
2012_02_25-PM-02_00_40
Theory : event-ordering
Home
Index