apply_gen(n;lst) ==
Y (
rec,m,g.if (m =
n) then g else rec (m + 1) (g (lst m)) 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
Definitions :
ycomb: Y,
lambda: x.A[x],
ifthenelse: if b then t else f fi ,
eq_int: (i = j),
add: n + m,
natural_number: $n,
apply: f a
FDL editor aliases :
apply_gen
apply\_gen(n;lst) == Y (\mlambda{}rec,m,g.if (m =\msubz{} n) then g else rec (m + 1) (g (lst m)) fi )
Date html generated:
2011_08_17-PM-06_02_47
Last ObjectModification:
2011_05_31-AM-11_11_27
Home
Index