Nuprl Definition : es-interval
[e, e'] == filter(λev.e ≤loc ev;before(e') @ [e'])
Definitions occuring in Statement :
es-before: before(e),
es-ble: e ≤loc e',
filter: filter(P;l),
append: as @ bs,
cons: [a / b],
nil: [],
lambda: λx.A[x]
FDL editor aliases :
es-interval
es-interval
[e, e'] == filter(\mlambda{}ev.e \mleq{}loc ev;before(e') @ [e'])
Date html generated:
2015_07_17-AM-08_41_06
Last ObjectModification:
2013_03_25-PM-01_48_02
Home
Index