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