concat-lifting1(f;bag) == concat-lifting(1;f;
x.bag)
Definitions occuring in Statement :
concat-lifting: concat-lifting(n;f;bags),
lambda: x.A[x],
natural_number: $n
Definitions :
concat-lifting: concat-lifting(n;f;bags),
natural_number: $n,
lambda: x.A[x]
FDL editor aliases :
concat-lifting1
concat-lifting1(f;bag) == concat-lifting(1;f;\mlambda{}x.bag)
Date html generated:
2011_08_17-PM-06_09_18
Last ObjectModification:
2011_06_01-PM-07_11_01
Home
Index