Nuprl Definition : concat-lifting-2
f@ == λa,b. concat-lifting2(f;a;b)
Definitions occuring in Statement :
concat-lifting2: concat-lifting2(f;abag;bbag),
lambda: λx.A[x]
Definitions occuring in definition :
lambda: λx.A[x],
concat-lifting2: concat-lifting2(f;abag;bbag)
FDL editor aliases :
concat-lifting-2
Latex:
f@ == \mlambda{}a,b. concat-lifting2(f;a;b)
Date html generated:
2016_05_15-PM-03_08_04
Last ObjectModification:
2015_09_23-AM-07_42_04
Theory : bags
Home
Index