Nuprl Definition : es-latest-val
(X)- == λes,e. if e ∈b X then {X(e)} else (X)' es e fi
Definitions occuring in Statement :
es-prior-val: (X)',
eclass-val: X(e),
in-eclass: e ∈b X,
ifthenelse: if b then t else f fi ,
apply: f a,
lambda: λx.A[x],
single-bag: {x}
FDL editor aliases :
es-latest-val
Latex:
(X)\msupminus{} == \mlambda{}es,e. if e \mmember{}\msubb{} X then \{X(e)\} else (X)' es e fi
Date html generated:
2015_07_21-PM-03_21_58
Last ObjectModification:
2012_02_25-PM-02_22_01
Home
Index