Nuprl Definition : State-comb
State-comb(init;f;X) == λx,s. if bag-null(x) then s else lifting-2(f) x s fi |X,Prior(self)?init|
Definitions occuring in Statement :
rec-combined-class-opt-1: F|X,Prior(self)?init|,
ifthenelse: if b then t else f fi ,
apply: f a,
lambda: λx.A[x],
lifting-2: lifting-2(f),
bag-null: bag-null(bs)
FDL editor aliases :
State-comb
Latex:
State-comb(init;f;X) == \mlambda{}x,s. if bag-null(x) then s else lifting-2(f) x s fi |X,Prior(self)?init|
Date html generated:
2015_07_22-PM-00_20_38
Last ObjectModification:
2012_11_29-AM-11_17_10
Home
Index