Nuprl Definition : Memory-class

Memory-class(f;init;X) ==  Prior(Accum-class(f;init;X))?init


Definitions occuring in Statement :  Accum-class: Accum-class(f;init;X),  primed-class-opt: Prior(X)?b
FDL editor aliases :  Memory-class
Latex:
Memory-class(f;init;X)  ==    Prior(Accum-class(f;init;X))?init


Date html generated: 2015_07_22-PM-00_11_17
Last ObjectModification: 2012_11_29-AM-11_14_19

Home Index