Nuprl Definition : pi-add

pi-add(eq;q;st) ==
  accumulate (with value s and list item req):
   fst(req) : snd(req) ⊕ s
  over list:
    q
  with starting value:
   st)

Definitions occuring in Statement : fpf-single: x : v, fpf-join: f ⊕ g, list_accum: list_accum, pi1: fst(t), pi2: snd(t)
FDL editor aliases : pi-add

Latex:
pi-add(eq;q;st) == accumulate (with value s and list item req): fst(req) : snd(req) \moplus{} s over list: q with starting value: st) Date html generated: 2016_05_17-AM-11_32_03 Last ObjectModification: 2012_08_30-PM-01_48_26 Theory : event-logic-applications Home Index