---

recprocess(s0;s,m.next[s; m];e,m,p.ext[e; m; p]) ==
  Y 
  (recprocess,s0,m.
    let s',e = next[s0; m] in
      <recprocess s', ext[e; m; recprocess s']>) 
  s0

---

Definitions :  ycomb: Y,  lambda: x.A[x],  spread: spread def,  pair: <a, b>,  apply: f a
FDL editor aliases :  recprocess

---

recprocess(s0;s,m.next[s;  m];e,m,p.ext[e;  m;  p])  ==
    Y  (\mlambda{}recprocess,s0,m.let  s',e  =  next[s0;  m]  in  <recprocess  s',  ext[e;  m;  recprocess  s']>)  s0


Date html generated: 2010_08_27-AM-12_25_43
Last ObjectModification: 2010_04_09-PM-07_33_36

Home Index