Nuprl Definition : lifting-gen
lifting-gen(n;f) ==  λbags.lifting-gen-rev(n;f;bags)
Definitions occuring in Statement : 
lifting-gen-rev: lifting-gen-rev(n;f;bags)
, 
lambda: λx.A[x]
Definitions occuring in definition : 
lambda: λx.A[x]
, 
lifting-gen-rev: lifting-gen-rev(n;f;bags)
FDL editor aliases : 
lifting-gen
Latex:
lifting-gen(n;f)  ==    \mlambda{}bags.lifting-gen-rev(n;f;bags)
Date html generated:
2016_05_15-PM-02_59_56
Last ObjectModification:
2015_09_23-AM-07_40_52
Theory : bags
Home
Index