Nuprl Definition : lifting-loc-1
lifting-loc-1(f) == λl,b. lifting1-loc(f;l;b)
Definitions occuring in Statement :
lifting1-loc: lifting1-loc(f;loc;b),
lambda: λx.A[x]
FDL editor aliases :
lifting-loc-1
Latex:
lifting-loc-1(f) == \mlambda{}l,b. lifting1-loc(f;l;b)
Date html generated:
2015_07_22-PM-00_07_35
Last ObjectModification:
2012_11_29-AM-11_13_32
Home
Index