Nuprl Definition : concat-lifting-list
concat-lifting-list(n;bags) == λm,g. bag-union(lifting-gen-list-rev(n;bags) m g)
Definitions occuring in Statement :
lifting-gen-list-rev: lifting-gen-list-rev(n;bags),
bag-union: bag-union(bbs),
apply: f a,
lambda: λx.A[x]
Definitions occuring in definition :
lambda: λx.A[x],
bag-union: bag-union(bbs),
apply: f a,
lifting-gen-list-rev: lifting-gen-list-rev(n;bags)
FDL editor aliases :
concat-lifting-list
Latex:
concat-lifting-list(n;bags) == \mlambda{}m,g. bag-union(lifting-gen-list-rev(n;bags) m g)
Date html generated:
2016_05_15-PM-03_05_24
Last ObjectModification:
2015_09_23-AM-07_41_33
Theory : bags
Home
Index