Nuprl Definition : Cn-comb
Cn-comb(n) == primrec(n;λf.f;λi,F,f,x. (F (C-comb() f x)))
Definitions occuring in Statement :
C-comb: C-comb(),
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,
C-comb: C-comb()
FDL editor aliases :
Cn-comb
Latex:
Cn-comb(n) == primrec(n;\mlambda{}f.f;\mlambda{}i,F,f,x. (F (C-comb() f x)))
Date html generated:
2016_05_15-PM-05_45_30
Last ObjectModification:
2015_09_23-AM-07_58_55
Theory : general
Home
Index