Nuprl Definition : select_fun_ap
select_fun_ap(g;n;m) == g mk_lambdas(λx.mk_lambdas(x;n - m - 1);m)
Definitions occuring in Statement :
mk_lambdas: mk_lambdas(F;m),
apply: f a,
lambda: λx.A[x],
subtract: n - m,
natural_number: $n
Definitions occuring in definition :
apply: f a,
lambda: λx.A[x],
mk_lambdas: mk_lambdas(F;m),
subtract: n - m,
natural_number: $n
FDL editor aliases :
select_fun_ap
Latex:
select\_fun\_ap(g;n;m) == g mk\_lambdas(\mlambda{}x.mk\_lambdas(x;n - m - 1);m)
Date html generated:
2016_05_15-PM-02_10_15
Last ObjectModification:
2015_09_23-AM-07_38_13
Theory : untyped!computation
Home
Index