Nuprl Definition : mk_applies
mk_applies(F;G;m) == primrec(m;F;λi,r. (r (G 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 :
mk_applies
Latex:
mk\_applies(F;G;m) == primrec(m;F;\mlambda{}i,r. (r (G i)))
Date html generated:
2016_05_15-PM-02_10_22
Last ObjectModification:
2015_09_23-AM-07_38_14
Theory : untyped!computation
Home
Index