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),
apply: f a,
lambda: x.A[x],
bag-union: bag-union(bbs)
Definitions :
lambda: x.A[x],
bag-union: bag-union(bbs),
apply: f a,
lifting-gen-list-rev: Error :lifting-gen-list-rev
FDL editor aliases :
concat-lifting-list
concat-lifting-list(n;bags) == \mlambda{}m,g.bag-union(lifting-gen-list-rev(n;bags) m g)
Date html generated:
2011_08_17-PM-06_07_42
Last ObjectModification:
2011_06_01-PM-01_57_44
Home
Index