Nuprl Definition : fpf-accum

fpf-accum(z,a,v.f[z; a; v];y;x) ==
  accumulate (with value z and list item a):
   f[z; a; (snd(x)) a]
  over list:
    fst(x)
  with starting value:
   y)

Definitions occuring in Statement : list_accum: list_accum, pi1: fst(t), pi2: snd(t), apply: f a
Definitions occuring in definition : list_accum: list_accum, apply: f a, pi2: snd(t), pi1: fst(t)
FDL editor aliases : fpf-accum

Latex:
fpf-accum(z,a,v.f[z; a; v];y;x) == accumulate (with value z and list item a): f[z; a; (snd(x)) a] over list: fst(x) with starting value: y) Date html generated: 2018_05_21-PM-09_26_32 Last ObjectModification: 2018_02_09-AM-10_21_58 Theory : finite!partial!functions Home Index