Nuprl Definition : Memory3

Memory3(init;tr1;X1;tr2;X2;tr3;X3) ==  Memory-loc-class(tr1 + tr2 + tr3;λloc.{init loc};X1 (+) X2 (+) X3)


Definitions occuring in Statement :  Memory-loc-class: Memory-loc-class(f;init;X),  disjoint-union-tr: tr1 + tr2,  disjoint-union-comb: X (+) Y,  apply: f a,  lambda: λx.A[x],  single-bag: {x}
FDL editor aliases :  Memory3
Latex:
Memory3(init;
                tr1;X1;
                tr2;X2;
                tr3;X3)  ==
    Memory-loc-class(tr1  +  tr2  +  tr3;\mlambda{}loc.\{init  loc\};X1  (+)  X2  (+)  X3)


Date html generated: 2015_07_22-PM-00_19_59
Last ObjectModification: 2012_11_29-AM-11_16_52

Home Index