lifting-gen-list-rev(n;bags) ==
Y
(
lifting-gen-list-rev,m,g.
if (n =
m) then {g} else 
x
bags m.lifting-gen-list-rev (m + 1) (g x) fi )
Definitions occuring in Statement :
eq_int: (i = j),
ifthenelse: if b then t else f fi ,
ycomb: Y,
apply: f a,
lambda: x.A[x],
add: n + m,
natural_number: $n,
bag-combine: xbs.f[x],
single-bag: {x}
FDL editor aliases :
lifting-gen-list-rev
lifting-gen-list-rev(n;bags) ==
Y
(\mlambda{}lifting-gen-list-rev,m,g.
if (n =\msubz{} m) then \{g\} else \mcup{}x\mmember{}bags m.lifting-gen-list-rev (m + 1) (g x) fi )
Date html generated:
2011_08_17-PM-05_57_52
Last ObjectModification:
2011_06_22-AM-11_32_12
Home
Index