Nuprl Definition : lifting-loc-3

lifting-loc-3(f) ==

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

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

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

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

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

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