Nuprl Definition : es-history-accum

es-history-accum(es;A;B;x;f;L) ==
  accumulate (with value b and list item a):
   f a b
  over list:
    map(λp.(fst(p));L)
  with starting value:
   x)

Definitions occuring in Statement : map: map(f;as), list_accum: list_accum, pi1: fst(t), apply: f a, lambda: λx.A[x]
FDL editor aliases : es-history-accum

Latex:
es-history-accum(es;A;B;x;f;L) == accumulate (with value b and list item a): f a b over list: map(\mlambda{}p.(fst(p));L) with starting value: x) Date html generated: 2015_07_22-PM-00_17_30 Last ObjectModification: 2012_11_29-AM-11_16_11 Home Index