Nuprl Definition : concat-lifting-loc-0

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

l.concat-lifting-loc(0;

n.[][n];l;f)

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

x.A[x], 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], nil: []
FDL editor aliases : concat-lifting-loc-0

concat-lifting-loc-0(f) == \mlambda{}l.concat-lifting-loc(0;\mlambda{}n.[][n];l;f) Date html generated: 2011_08_17-PM-06_13_27 Last ObjectModification: 2011_06_02-PM-06_22_41 Home Index