Nuprl Definition : bag-merge
bag-merge(as;bs) == bag-map(λx.(inl x);as) + bag-map(λx.(inr x );bs)
Definitions occuring in Statement :
bag-append: as + bs,
bag-map: bag-map(f;bs),
lambda: λx.A[x],
inr: inr x ,
inl: inl x
Definitions occuring in definition :
bag-append: as + bs,
inl: inl x,
bag-map: bag-map(f;bs),
lambda: λx.A[x],
inr: inr x
FDL editor aliases :
bag-merge
Latex:
bag-merge(as;bs) == bag-map(\mlambda{}x.(inl x);as) + bag-map(\mlambda{}x.(inr x );bs)
Date html generated:
2016_05_15-PM-02_35_20
Last ObjectModification:
2015_09_23-AM-07_39_44
Theory : bags
Home
Index