uncurry-rev(n;f) == uncurry-gen(n) 0 (
x.f)
Definitions occuring in Statement :
uncurry-gen: uncurry-gen(n),
apply: f a,
lambda: x.A[x],
natural_number: $n
Definitions :
apply: f a,
uncurry-gen: uncurry-gen(n),
natural_number: $n,
lambda: x.A[x]
FDL editor aliases :
uncurry-rev
uncurry-rev(n;f) == uncurry-gen(n) 0 (\mlambda{}x.f)
Date html generated:
2011_08_17-PM-06_02_25
Last ObjectModification:
2011_05_31-PM-11_47_25
Home
Index