Nuprl Definition : bag-monad
BagMonad == mk_monad(λT.bag(T);λx.{x};λba,f. ⋃x∈ba.f x)
Definitions occuring in Statement :
bag-combine: ⋃x∈bs.f[x],
single-bag: {x},
bag: bag(T),
mk_monad: mk_monad(M;return;bind),
apply: f a,
lambda: λx.A[x]
Definitions occuring in definition :
mk_monad: mk_monad(M;return;bind),
bag: bag(T),
single-bag: {x},
lambda: λx.A[x],
bag-combine: ⋃x∈bs.f[x],
apply: f a
FDL editor aliases :
bag-monad
Latex:
BagMonad == mk\_monad(\mlambda{}T.bag(T);\mlambda{}x.\{x\};\mlambda{}ba,f. \mcup{}x\mmember{}ba.f x)
Date html generated:
2016_05_15-PM-02_29_11
Last ObjectModification:
2015_09_23-AM-07_39_12
Theory : bags
Home
Index