Nuprl Definition : threshold_accum

threshold_accum(test;
nxt;
step;
g) ==
  λp,x. if test (fst(p)) then <nxt <fst(p), x>g <fst(p), x>> else <step (fst(p)) x, ff> fi 



Definitions occuring in Statement :  ifthenelse: if then else fi  bfalse: ff pi1: fst(t) apply: a lambda: λx.A[x] pair: <a, b>
FDL editor aliases :  threshold_accum threshold_accum

Latex:
threshold\_accum(test;
nxt;
step;
g)  ==
    \mlambda{}p,x.  if  test  (fst(p))  x  then  <nxt  <fst(p),  x>,  g  <fst(p),  x>>  else  <step  (fst(p))  x,  ff>  fi 



Date html generated: 2016_05_16-AM-10_08_59
Last ObjectModification: 2013_03_25-PM-01_54_40

Theory : new!event-ordering


Home Index