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