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