Nuprl Definition : mk_lambdas_fun
mk_lambdas_fun(F;m) == mk_lambdas-fun(F;λx.x;0;m)
Definitions occuring in Statement :
mk_lambdas-fun: mk_lambdas-fun(F;G;n;m),
lambda: λx.A[x],
natural_number: $n
Definitions occuring in definition :
mk_lambdas-fun: mk_lambdas-fun(F;G;n;m),
lambda: λx.A[x],
natural_number: $n
FDL editor aliases :
mk_lambdas_fun
Latex:
mk\_lambdas\_fun(F;m) == mk\_lambdas-fun(F;\mlambda{}x.x;0;m)
Date html generated:
2016_05_15-PM-02_09_49
Last ObjectModification:
2015_09_23-AM-07_38_08
Theory : untyped!computation
Home
Index