concat-lifting2(f;abag;bbag) == concat-lifting(2;f;
n.[abag; bbag][n])
Definitions occuring in Statement :
concat-lifting: concat-lifting(n;f;bags),
select: l[i],
lambda: x.A[x],
cons: [car / cdr],
nil: [],
natural_number: $n
Definitions :
concat-lifting: concat-lifting(n;f;bags),
natural_number: $n,
lambda: x.A[x],
select: l[i],
cons: [car / cdr],
nil: []
FDL editor aliases :
concat-lifting2
concat-lifting2(f;abag;bbag) == concat-lifting(2;f;\mlambda{}n.[abag; bbag][n])
Date html generated:
2011_08_17-PM-06_09_41
Last ObjectModification:
2011_06_01-PM-07_20_13
Home
Index