Nuprl Definition : es-open-interval

(e, e') == filter(λev.e <loc ev;before(e'))

Definitions occuring in Statement : es-before: before(e), es-bless: e <loc e', filter: filter(P;l), lambda: λx.A[x]
FDL editor aliases : es-open-interval es-open-interval
(e, e') == filter(\mlambda{}ev.e <loc ev;before(e')) Date html generated: 2015_07_17-AM-08_41_11 Last ObjectModification: 2013_03_25-PM-01_48_04 Home Index