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