Nuprl Definition : apply-nth
apply-nth(n; f; x) == primrec(n;λf.(f x);λi,H,f. (H o f)) f
Definitions occuring in Statement :
compose: f o g
,
primrec: primrec(n;b;c)
,
apply: f a
,
lambda: λx.A[x]
Definitions occuring in definition :
primrec: primrec(n;b;c)
,
apply: f a
,
lambda: λx.A[x]
,
compose: f o g
Latex:
apply-nth(n; f; x) == primrec(n;\mlambda{}f.(f x);\mlambda{}i,H,f. (H o f)) f
Date html generated:
2016_05_15-PM-05_44_33
Last ObjectModification:
2015_09_23-AM-07_58_37
Theory : general
Home
Index