Nuprl Definition : loop-class-memory-program

loop-class-memory-program(pr;init) == λi.hdf-memory(pr i;init i)

Definitions occuring in Statement : hdf-memory: hdf-memory(X;bs), apply: f a, lambda: λx.A[x]
FDL editor aliases : loop-class-memory-program

Latex:
loop-class-memory-program(pr;init) == \mlambda{}i.hdf-memory(pr i;init i) Date html generated: 2016_05_17-AM-09_07_34 Last ObjectModification: 2012_11_29-PM-06_21_43 Theory : local!classes Home Index