Nuprl Definition : lifting-0
lifting-0(b) ==  lifting-gen-rev(0;b;λn.[][n])
Definitions occuring in Statement : 
lifting-gen-rev: lifting-gen-rev(n;f;bags)
, 
select: L[n]
, 
nil: []
, 
lambda: λx.A[x]
, 
natural_number: $n
Definitions occuring in definition : 
lifting-gen-rev: lifting-gen-rev(n;f;bags)
, 
natural_number: $n
, 
lambda: λx.A[x]
, 
select: L[n]
, 
nil: []
FDL editor aliases : 
lifting-0
Latex:
lifting-0(b)  ==    lifting-gen-rev(0;b;\mlambda{}n.[][n])
Date html generated:
2016_05_15-PM-03_01_10
Last ObjectModification:
2015_09_23-AM-07_41_05
Theory : bags
Home
Index