Nuprl Definition : memory-class4
memory-class4(init;tr1;X1;tr2;X2;tr3;X3;tr4;X4) ==
loop-class-memory((tr1 o X1) || (tr2 o X2) || (tr3 o X3) || (tr4 o X4);λloc.{init loc})
Definitions occuring in Statement :
loop-class-memory: loop-class-memory(X;init),
parallel-class: X || Y,
eclass1: (f o X),
apply: f a,
lambda: λx.A[x],
single-bag: {x}
FDL editor aliases :
memory-class4
Latex:
memory-class4(init;tr1;X1;tr2;X2;tr3;X3;tr4;X4) ==
loop-class-memory((tr1 o X1) || (tr2 o X2) || (tr3 o X3) || (tr4 o X4);\mlambda{}loc.\{init loc\})
Date html generated:
2015_07_21-PM-02_40_44
Last ObjectModification:
2012_10_10-PM-05_44_53
Home
Index