Nuprl Definition : uncurry-rev
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 occuring in definition :
apply: f a,
uncurry-gen: uncurry-gen(n),
natural_number: $n,
lambda: λx.A[x]
FDL editor aliases :
uncurry-rev
Latex:
uncurry-rev(n;f) == uncurry-gen(n) 0 (\mlambda{}x.f)
Date html generated:
2016_05_15-PM-03_03_23
Last ObjectModification:
2015_09_23-AM-07_41_25
Theory : bags
Home
Index