Nuprl Definition : on-loc-class
on-loc-class(X) == λes,e. (X loc(e) es e)
Definitions occuring in Statement :
es-loc: loc(e),
apply: f a,
lambda: λx.A[x]
FDL editor aliases :
on-loc-class
Latex:
on-loc-class(X) == \mlambda{}es,e. (X loc(e) es e)
Date html generated:
2015_07_20-PM-04_02_56
Last ObjectModification:
2012_02_25-PM-02_00_51
Home
Index