Nuprl Definition : State3-prc

State3-prc(A1;A2;A3;B;init;tr1;Xpr1;tr2;Xpr2;tr3;Xpr3) ==
TERMOF{State3-locally-programmable:o, 1:l, 1:l} A1 A2 A3 B init tr1 tr2 tr3 Xpr1 Xpr2 Xpr3

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

Latex:
State3-prc(A1;A2;A3;B;init;tr1;Xpr1;tr2;Xpr2;tr3;Xpr3) == TERMOF\{State3-locally-programmable:o, 1:l, 1:l\} A1 A2 A3 B init tr1 tr2 tr3 Xpr1 Xpr2 Xpr3 Date html generated: 2015_07_22-PM-00_26_32 Last ObjectModification: 2012_11_30-PM-04_57_28 Home Index