Nuprl Definition : es-interface-vals-since
X(Z',e] == X(if e ∈b prior(Z) then filter(λa.prior(Z)(e) <loc a;≤(X)(e)) else ≤(X)(e) fi )
Definitions occuring in Statement :
es-prior-interface: prior(X),
es-interface-predecessors: ≤(X)(e),
eclass-vals: X(L),
eclass-val: X(e),
in-eclass: e ∈b X,
es-bless: e <loc e',
filter: filter(P;l),
ifthenelse: if b then t else f fi ,
lambda: λx.A[x]
FDL editor aliases :
es-interface-vals-since
Latex:
X(Z',e] == X(if e \mmember{}\msubb{} prior(Z) then filter(\mlambda{}a.prior(Z)(e) <loc a;\mleq{}(X)(e)) else \mleq{}(X)(e) fi )
Date html generated:
2015_07_21-PM-03_25_23
Last ObjectModification:
2012_02_25-PM-02_24_05
Home
Index