Nuprl Definition : prior-run-events
prior-run-events(r;t) == mapfilter(λt.<t, fst(snd(outl(fst((r t)))))>;λt.isl(fst((r t)));upto(t))
Definitions occuring in Statement :
upto: upto(n),
mapfilter: mapfilter(f;P;L),
outl: outl(x),
isl: isl(x),
pi1: fst(t),
pi2: snd(t),
apply: f a,
lambda: λx.A[x],
pair: <a, b>
FDL editor aliases :
prior-run-events
Latex:
prior-run-events(r;t) == mapfilter(\mlambda{}t.<t, fst(snd(outl(fst((r t)))))>\mlambda{}t.isl(fst((r t)));upto(t))
Date html generated:
2015_07_23-AM-11_13_56
Last ObjectModification:
2012_02_25-PM-03_42_36
Home
Index