Nuprl Definition : es-interface-history
es-interface-history(es;X;e) == concat(mapfilter(λe.X(e);λe.e ∈b X;≤loc(e)))
Definitions occuring in Statement :
eclass-val: X(e),
in-eclass: e ∈b X,
es-le-before: ≤loc(e),
mapfilter: mapfilter(f;P;L),
concat: concat(ll),
lambda: λx.A[x]
FDL editor aliases :
es-interface-history
Latex:
es-interface-history(es;X;e) == concat(mapfilter(\mlambda{}e.X(e);\mlambda{}e.e \mmember{}\msubb{} X;\mleq{}loc(e)))
Date html generated:
2015_07_20-PM-03_38_38
Last ObjectModification:
2012_02_25-PM-01_51_29
Home
Index