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
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:
2012_02_20-PM-03_05_06
Last ObjectModification:
2012_02_07-PM-08_07_33
Home
Index