Nuprl Definition : memory-class1-program

memory-class1-program(init;tr;pr) ==  loop-class-memory-program(eclass1-program(tr;pr);λloc.{init loc})



Definitions occuring in Statement :  loop-class-memory-program: loop-class-memory-program(pr;init) eclass1-program: eclass1-program(f;pr) apply: a lambda: λx.A[x] single-bag: {x}
FDL editor aliases :  memory-class1-program

Latex:
memory-class1-program(init;tr;pr)  ==
    loop-class-memory-program(eclass1-program(tr;pr);\mlambda{}loc.\{init  loc\})



Date html generated: 2015_07_22-PM-00_05_29
Last ObjectModification: 2012_11_29-PM-06_22_02

Home Index