Nuprl Definition : concat-lifting-loc-3

concat-lifting-loc-3(f) ==

l,a,b,c.concat-lifting-loc(3;

n.[a; b; c][n];l;f)

Definitions occuring in Statement : concat-lifting-loc: concat-lifting-loc(n;bags;loc;f), select: l[i], lambda:

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

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

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