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: 2016_05_17-AM-06_35_58
Last ObjectModification: 2012_02_25-PM-02_22_01

Theory : event-ordering


Home Index