Nuprl Definition : concat-lifting-3
concat-lifting-3(f) == λa,b,c. concat-lifting(3;f;λn.[a; b; c][n])
Definitions occuring in Statement :
concat-lifting: concat-lifting(n;f;bags),
select: L[n],
cons: [a / b],
nil: [],
lambda: λx.A[x],
natural_number: $n
Definitions occuring in definition :
concat-lifting: concat-lifting(n;f;bags),
natural_number: $n,
lambda: λx.A[x],
select: L[n],
cons: [a / b],
nil: []
FDL editor aliases :
concat-lifting-3
Latex:
concat-lifting-3(f) == \mlambda{}a,b,c. concat-lifting(3;f;\mlambda{}n.[a; b; c][n])
Date html generated:
2016_05_15-PM-03_08_23
Last ObjectModification:
2015_09_23-AM-07_42_08
Theory : bags
Home
Index