Nuprl Definition : bag-rep
bag-rep(n;x) == primrec(n;{};λi,r. x.r)
Definitions occuring in Statement :
cons-bag: x.b,
empty-bag: {},
primrec: primrec(n;b;c),
lambda: λx.A[x]
Definitions occuring in definition :
primrec: primrec(n;b;c),
empty-bag: {},
lambda: λx.A[x],
cons-bag: x.b
FDL editor aliases :
bag-rep
Latex:
bag-rep(n;x) == primrec(n;\{\};\mlambda{}i,r. x.r)
Date html generated:
2016_05_15-PM-02_34_00
Last ObjectModification:
2015_09_23-AM-07_39_35
Theory : bags
Home
Index