Nuprl Definition : list_accum

Nuprl Definition : list_accum_pair

list_accum_pair(a,x.f[a; x];b,x.g[b; x];a0;b0;L) ==
  accumulate (with value p and list item x):
   let a,b = p
   in <f[a; x], g[b; x]>
  over list:
    L
  with starting value:
   <a0, b0>)

Definitions occuring in Statement : list_accum: list_accum, spread: spread def, pair: <a, b>
Definitions occuring in definition : list_accum: list_accum, spread: spread def, pair: <a, b>
FDL editor aliases : list_accum_pair

Latex:
list\_accum\_pair(a,x.f[a; x];b,x.g[b; x];a0;b0;L) == accumulate (with value p and list item x): let a,b = p in <f[a; x], g[b; x]> over list: L with starting value: <a0, b0>) Date html generated: 2016_05_15-PM-03_47_42 Last ObjectModification: 2015_09_23-AM-07_44_49 Theory : general Home Index