Nuprl Definition : bag-val

bag-val(zero;+) ==  λb.accumulate (with value v and list item x): v + xover list:  bwith starting value: zero)


Definitions occuring in Statement :  list_accum: list_accum,  infix_ap: x f y,  lambda: λx.A[x]
Definitions occuring in definition :  lambda: λx.A[x],  list_accum: list_accum,  infix_ap: x f y
FDL editor aliases :  bag-val
Latex:
bag-val(zero;+)  ==
    \mlambda{}b.accumulate  (with  value  v  and  list  item  x):
            v  +  x
          over  list:
              b
          with  starting  value:
            zero)


Date html generated: 2016_05_15-PM-02_26_28
Last ObjectModification: 2015_09_23-AM-07_39_07

Theory : bags


Home Index