Nuprl Definition : bag-reduce

bag-reduce(x,y.f[x; y];zero;bs) ==  reduce(λx,y. f[x; y];zero;bs)


Definitions occuring in Statement :  reduce: reduce(f;k;as),  lambda: λx.A[x]
Definitions occuring in definition :  reduce: reduce(f;k;as),  lambda: λx.A[x]
FDL editor aliases :  bag-reduce
Latex:
bag-reduce(x,y.f[x;  y];zero;bs)  ==    reduce(\mlambda{}x,y.  f[x;  y];zero;bs)


Date html generated: 2016_05_15-PM-02_29_49
Last ObjectModification: 2015_09_23-AM-07_39_15

Theory : bags


Home Index