Nuprl Definition : fpf-accum

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

Definitions occuring in Statement :  list_accum: list_accum pi1: fst(t) pi2: snd(t) apply: a
Definitions occuring in definition :  list_accum: list_accum apply: a pi2: snd(t) pi1: fst(t)
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:
    with  starting  value:

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