Nuprl Definition : eo-forward

eo.e ==  eo-restrict(eo;λe'.(e ≤loc e' ∨bbloc(e') loc(e))))



Definitions occuring in Statement :  es-ble: e ≤loc e' es-loc: loc(e) eo-restrict: eo-restrict(eo;P) eq_id: b bor: p ∨bq bnot: ¬bb lambda: λx.A[x]
FDL editor aliases :  eo-forward

Latex:
eo.e  ==    eo-restrict(eo;\mlambda{}e'.(e  \mleq{}loc  e'  \mvee{}\msubb{}(\mneg{}\msubb{}loc(e')  =  loc(e))))



Date html generated: 2016_05_16-PM-01_02_35
Last ObjectModification: 2012_02_25-PM-01_08_09

Theory : event-ordering


Home Index