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