Nuprl Definition : lifting-1
lifting-1(f) == λb.lifting1(f;b)
Definitions occuring in Statement :
lifting1: lifting1(f;b),
lambda: λx.A[x]
Definitions occuring in definition :
lambda: λx.A[x],
lifting1: lifting1(f;b)
FDL editor aliases :
lifting-1
Latex:
lifting-1(f) == \mlambda{}b.lifting1(f;b)
Date html generated:
2016_05_15-PM-03_01_21
Last ObjectModification:
2015_09_23-AM-07_41_10
Theory : bags
Home
Index