Nuprl Definition : Accum-class

Accum-class(f;init;X) == lifting-2(f)|X,Prior(self)?init|

Definitions occuring in Statement : rec-combined-class-opt-1: F|X,Prior(self)?init|, lifting-2: lifting-2(f)
FDL editor aliases : Accum-class

Latex:
Accum-class(f;init;X) == lifting-2(f)|X,Prior(self)?init| Date html generated: 2015_07_22-PM-00_11_09 Last ObjectModification: 2012_11_29-AM-11_14_16 Home Index