uncurry-gen(n) ==
Y (
rec,m,g.if (m =
n) then g else rec (m + 1) (x.(g x (x 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,
ifthenelse: if b then t else f fi ,
eq_int: (i = j),
add: n + m,
natural_number: $n,
lambda: x.A[x],
apply: f a
FDL editor aliases :
uncurry-gen
uncurry-gen(n) == Y (\mlambda{}rec,m,g.if (m =\msubz{} n) then g else rec (m + 1) (\mlambda{}x.(g x (x m))) fi )
Date html generated:
2011_08_17-PM-06_01_43
Last ObjectModification:
2011_05_26-PM-12_41_04
Home
Index