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