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
Latex:
[e, e'] == filter(\mlambda{}ev.e \mleq{}loc ev;before(e') @ [e'])
Date html generated:
2016_05_16-AM-09_31_20
Last ObjectModification:
2013_03_25-PM-01_48_02
Theory : new!event-ordering
Home
Index