---

lvprocess(lp.M[lp];n) ==
  Y 
  (lvprocess,n.
    dataflow(M[m:  if n z m then Top else lvprocess m fi ];(Id
              M[m:n  (lvprocess m)]) List)) 
  n

---

Definitions :  ycomb: Y,  lambda: x.A[x],  dataflow: dataflow(A;B),  nat: ,  ifthenelse: if b then t else f fi ,  le_int: i z j,  top: Top,  list: type List,  Id: Id,  product: x:A  B[x],  int_seg: {i..j},  natural_number: $n,  apply: f a
FDL editor aliases :  lvprocess

---

lvprocess(lp.M[lp];n)  ==
    Y 
    (\mlambda{}lvprocess,n.
        dataflow(M[m:\mBbbN{}  \mtimes{}  if  n  \mleq{}z  m  then  Top  else  lvprocess  m  fi  ];(Id  \mtimes{}  M[m:\mBbbN{}n  \mtimes{}  (lvprocess  m)])  List)) 
    n


Date html generated: 2010_08_27-PM-08_32_37
Last ObjectModification: 2010_04_20-PM-04_15_16

Home Index