Nuprl Definition : Threshold-Combinator-prc

Threshold-Combinator-prc(S;B;R;X;init_state;accum;f) ==
  TERMOF{Threshold-Combinator-locally-programmable:o, 1:l, 1:l} S B R init_state accum f X


Definitions occuring in Statement :  apply: f a
FDL editor aliases :  Threshold-Combinator-prc
Threshold-Combinator-prc(S;B;R;X;init$_{state}$;accum;f)  ==
    TERMOF\{Threshold-Combinator-locally-programmable:o,  1:l,  1:l\}  S  B  R  init$_{state}\mbackslash{}\000Cff24  accum  f  X


Date html generated: 2012_01_23-PM-01_06_11
Last ObjectModification: 2011_11_04-AM-11_24_59

Home Index