Nuprl Definition : run-event-history
run-event-history(r;e) ==
let x = run-event-loc(e) in
mapfilter(λt.<t, x>;λt.is-run-event(r;t;x);[0, run-event-step(e)))
Definitions occuring in Statement :
run-event-step: run-event-step(e),
run-event-loc: run-event-loc(e),
is-run-event: is-run-event(r;t;x),
from-upto: [n, m),
mapfilter: mapfilter(f;P;L),
let: let,
lambda: λx.A[x],
pair: <a, b>,
natural_number: $n
FDL editor aliases :
run-event-history
Latex:
run-event-history(r;e) ==
let x = run-event-loc(e) in
mapfilter(\mlambda{}t.<t, x>\mlambda{}t.is-run-event(r;t;x);[0, run-event-step(e)))
Date html generated:
2015_07_23-AM-11_11_32
Last ObjectModification:
2012_02_25-PM-03_41_51
Home
Index