---

stateless-dataflow(m.f[m]) ==
  Y (stateless-dataflow,m.<stateless-dataflow, f[m]>)

---

Definitions :  apply: f a,  ycomb: Y,  lambda: x.A[x],  pair: <a, b>
FDL editor aliases :  stateless-dataflow

---

stateless-dataflow(m.f[m])  ==    Y  (\mlambda{}stateless-dataflow,m.<stateless-dataflow,  f[m]>)


Date html generated: 2010_08_27-AM-12_04_33
Last ObjectModification: 2010_02_05-PM-01_31_06

Home Index