Nuprl Definition : uncurry
uncurry(n;f) == λa.primrec(n;f;λi,z. (z (a i)))
Definitions occuring in Statement :
primrec: primrec(n;b;c)
,
apply: f a
,
lambda: λx.A[x]
Definitions occuring in definition :
primrec: primrec(n;b;c)
,
lambda: λx.A[x]
,
apply: f a
FDL editor aliases :
uncurry
Latex:
uncurry(n;f) == \mlambda{}a.primrec(n;f;\mlambda{}i,z. (z (a i)))
Date html generated:
2016_05_15-PM-05_43_42
Last ObjectModification:
2015_09_23-AM-07_58_29
Theory : general
Home
Index