Nuprl Definition : es-history-accum

es-history-accum(es;A;B;x;f;L) == list_accum(b,a.f a b;x;map(

p.(fst(p));L))

Definitions occuring in Statement : map: map(f;as), pi1: fst(t), apply: f a, lambda:

x.A[x], list_accum: list_accum(x,a.f[x; a];y;l)
FDL editor aliases : es-history-accum

es-history-accum(es;A;B;x;f;L) == list\_accum(b,a.f a b;x;map(\mlambda{}p.(fst(p));L)) Date html generated: 2012_01_23-PM-01_18_27 Last ObjectModification: 2012_01_07-PM-02_35_30 Home Index