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[i], lambda:

x.A[x], cons: [car / cdr], nil: [], natural_number: $n
Definitions : concat-lifting: concat-lifting(n;f;bags), natural_number: $n, lambda:

x.A[x], select: l[i], cons: [car / cdr], nil: []
FDL editor aliases : concat-lifting-3

concat-lifting-3(f) == \mlambda{}a,b,c.concat-lifting(3;f;\mlambda{}n.[a; b; c][n]) Date html generated: 2011_08_17-PM-06_11_16 Last ObjectModification: 2011_06_02-PM-06_16_15 Home Index