Nuprl Definition : bag-monoid
bag-monoid(T) == <bag(T), λx,y. tt, λx,y. tt, λx,y. (x + y), {}, λx.x>
Definitions occuring in Statement :
bag-append: as + bs,
empty-bag: {},
bag: bag(T),
btrue: tt,
lambda: λx.A[x],
pair: <a, b>
Definitions occuring in definition :
bag: bag(T),
btrue: tt,
bag-append: as + bs,
pair: <a, b>,
empty-bag: {},
lambda: λx.A[x]
FDL editor aliases :
bag-monoid
Latex:
bag-monoid(T) == <bag(T), \mlambda{}x,y. tt, \mlambda{}x,y. tt, \mlambda{}x,y. (x + y), \{\}, \mlambda{}x.x>
Date html generated:
2019_10_15-AM-11_05_27
Last ObjectModification:
2018_09_24-PM-03_35_22
Theory : bags
Home
Index