Nuprl Definition : list-rep
list-rep(n;x) == primrec(n;[];λi,r. [x / r])
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 :
list-rep
Latex:
list-rep(n;x) == primrec(n;[];\mlambda{}i,r. [x / r])
Date html generated:
2016_05_14-PM-03_01_53
Last ObjectModification:
2015_09_22-PM-05_58_23
Theory : list_1
Home
Index