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:
2015_07_20-PM-04_01_22
Last ObjectModification:
2012_02_25-PM-02_00_40
Home
Index