Nuprl Definition : Memory4
Memory4(init;tr1;X1;tr2;X2;tr3;X3;tr4;X4) ==
Memory-loc-class(tr1 + tr2 + tr3 + tr4;λloc.{init loc};X1 (+) X2 (+) X3 (+) X4)
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 :
Memory4
Latex:
Memory4(init;tr1;X1;tr2;X2;tr3;X3;tr4;X4) ==
Memory-loc-class(tr1 + tr2 + tr3 + tr4;\mlambda{}loc.\{init loc\};X1 (+) X2 (+) X3 (+) X4)
Date html generated:
2015_07_22-PM-00_20_06
Last ObjectModification:
2012_11_29-AM-11_16_56
Home
Index