Nuprl Definition : parallel-prc

parallel-prc(A;Xpr;Ypr) == TERMOF{parallel-class-locally-programmable-ext:o, 1:l, 1:l} A Xpr Ypr

Proof not projected

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

parallel-prc(A;Xpr;Ypr) == TERMOF\{parallel-class-locally-programmable-ext:o, 1:l, 1:l\} A Xpr Ypr Date html generated: 2011_10_20-PM-03_26_08 Last ObjectModification: 2011_09_22-PM-02_27_03 Home Index