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