Nuprl Definition : send-once-loc-prc

send-once-loc-prc(A;b) == TERMOF{send-once-loc-class-locally-programmable:o, 1:l, 1:l} A b

Proof not projected

Definitions occuring in Statement : apply: f a
FDL editor aliases : send-once-loc-prc

send-once-loc-prc(A;b) == TERMOF\{send-once-loc-class-locally-programmable:o, 1:l, 1:l\} A b Date html generated: 2011_10_20-PM-03_25_43 Last ObjectModification: 2011_09_26-AM-10_50_23 Home Index