Nuprl Definition : State-class

State-class(init;f;X) ==

x,s.if bag-null(x) then s else lifting-2(f) x s fi |X, Memory-class(f;init;X)|

Definitions occuring in Statement : Memory-class: Memory-class(f;init;X), simple-comb-2: F|X, Y|, 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-class

State-class(init;f;X) == \mlambda{}x,s.if bag-null(x) then s else lifting-2(f) x s fi |X, Memory-class(f;init;X)| Date html generated: 2012_02_20-PM-03_02_18 Last ObjectModification: 2012_02_06-PM-06_12_59 Home Index