simple-comb3(x,y,z.F[x; y; z];X;Y;Z) ==
simple-comb(
w.F[w 0; w 1; w 2];n.[X; Y; Z][n])
Definitions occuring in Statement :
simple-comb: simple-comb(F;Xs),
select: l[i],
apply: f a,
lambda: x.A[x],
cons: [car / cdr],
nil: [],
natural_number: $n
FDL editor aliases :
simple-comb3
simple-comb3(x,y,z.F[x; y; z];X;Y;Z) == simple-comb(\mlambda{}w.F[w 0; w 1; w 2];\mlambda{}n.[X; Y; Z][n])
Date html generated:
2011_08_16-PM-04_57_34
Last ObjectModification:
2011_07_25-AM-10_20_11
Home
Index