Nuprl Definition : send-on-class
send-on-class(b;X) == λz.if bag-null(z) then {} else b fi |X|
Definitions occuring in Statement :
simple-comb-1: F|X|,
ifthenelse: if b then t else f fi ,
lambda: λx.A[x],
bag-null: bag-null(bs),
empty-bag: {}
FDL editor aliases :
send-on-class
Latex:
send-on-class(b;X) == \mlambda{}z.if bag-null(z) then \{\} else b fi |X|
Date html generated:
2015_07_21-PM-03_11_12
Last ObjectModification:
2012_04_15-AM-03_57_45
Home
Index