Nuprl Definition : mk_lambdas
mk_lambdas(F;m) == primrec(m;F;λi,r,x. r)
Definitions occuring in Statement :
primrec: primrec(n;b;c),
lambda: λx.A[x]
Definitions occuring in definition :
primrec: primrec(n;b;c),
lambda: λx.A[x]
FDL editor aliases :
mk_lambdas
Latex:
mk\_lambdas(F;m) == primrec(m;F;\mlambda{}i,r,x. r)
Date html generated:
2016_05_15-PM-02_09_52
Last ObjectModification:
2015_09_23-AM-07_38_09
Theory : untyped!computation
Home
Index