Nuprl Definition : es-prior-interface-vals
X(<e) == mapfilter(λe.X(e);λe.e ∈b X;before(e))
Definitions occuring in Statement :
eclass-val: X(e),
in-eclass: e ∈b X,
es-before: before(e),
mapfilter: mapfilter(f;P;L),
lambda: λx.A[x]
FDL editor aliases :
es-prior-interface-vals
X(<e) == mapfilter(\mlambda{}e.X(e);\mlambda{}e.e \mmember{}\msubb{} X;before(e))
Date html generated:
2015_07_17-PM-01_04_48
Last ObjectModification:
2012_02_25-PM-01_35_52
Home
Index