Nuprl Definition : run-event-state-when
run-event-state-when(r;e) == let t,x = e in let info,Cs,G = r (t - 1) in mapfilter(λc.(snd(c));λc.fst(c) = x;Cs)
Definitions occuring in Statement :
eq_id: a = b,
mapfilter: mapfilter(f;P;L),
spreadn: spread3,
pi1: fst(t),
pi2: snd(t),
apply: f a,
lambda: λx.A[x],
spread: spread def,
subtract: n - m,
natural_number: $n
FDL editor aliases :
run-event-state-when
Latex:
run-event-state-when(r;e) ==
let t,x = e
in let info,Cs,G = r (t - 1) in
mapfilter(\mlambda{}c.(snd(c));\mlambda{}c.fst(c) = x;Cs)
Date html generated:
2015_07_23-AM-11_10_45
Last ObjectModification:
2012_02_25-PM-03_41_11
Home
Index