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
FDL editor aliases : 
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)
Date html generated:
2015_07_17-AM-11_10_27
Last ObjectModification:
2012_02_25-AM-11_11_02
Home
Index