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