Nuprl Definition : repn
repn(n;x) == primrec(n;[];λi,l. [x / l])
Definitions occuring in Statement :
cons: [a / b]
,
nil: []
,
primrec: primrec(n;b;c)
,
lambda: λx.A[x]
Definitions occuring in definition :
primrec: primrec(n;b;c)
,
nil: []
,
lambda: λx.A[x]
,
cons: [a / b]
FDL editor aliases :
repn
Latex:
repn(n;x) == primrec(n;[];\mlambda{}i,l. [x / l])
Date html generated:
2016_05_14-PM-01_56_11
Last ObjectModification:
2015_09_22-PM-05_55_11
Theory : list_1
Home
Index