Nuprl Definition : Memory2
Memory2(init;tr1;X1;tr2;X2) == Memory-loc-class(tr1 + tr2;init;X1 (+) X2)
Definitions occuring in Statement :
disjoint-union-comb: X (+) Y,
disjoint-union-tr: tr1 + tr2,
Memory-loc-class: Memory-loc-class(f;init;X)
FDL editor aliases :
Memory2
Memory2(init;tr1;X1;tr2;X2) == Memory-loc-class(tr1 + tr2;init;X1 (+) X2)
Date html generated:
2012_01_23-PM-01_28_12
Last ObjectModification:
2012_01_11-PM-03_39_43
Home
Index