Nuprl Definition : Memory4-prc

Memory4-prc(A1;A2;A3;A4;B;init;tr1;Xpr1;tr2;Xpr2;tr3;Xpr3;tr4;Xpr4) ==

  TERMOF{Memory4-locally-programmable:o, 1:l, 1:l} A1 A2 A3 A4 B init tr1 tr2 tr3 tr4 Xpr1 Xpr2 Xpr3 Xpr4

Definitions occuring in Statement : apply: f a
FDL editor aliases : Memory4-prc

Latex:
Memory4-prc(A1;A2;A3;A4;B;init;tr1;Xpr1;tr2;Xpr2;tr3;Xpr3;tr4;Xpr4) == TERMOF\{Memory4-locally-programmable:o, 1:l, 1:l\} A1 A2 A3 A4 B init tr1 tr2 tr3 tr4 Xpr1 Xpr2 Xpr3 Xpr4 Date html generated: 2015_07_22-PM-00_20_10 Last ObjectModification: 2012_11_29-AM-11_16_58 Home Index