---

simple-comb(F;Xs) ==  es,e.(F (k.(Xs k es e)))

---

Definitions occuring in Statement :  apply: f a,  lambda: x.A[x]
Definitions :  lambda: x.A[x],  apply: f a
FDL editor aliases :  simple-comb

---

simple-comb(F;Xs)  ==    \mlambda{}es,e.(F  (\mlambda{}k.(Xs  k  es  e)))


Date html generated: 2011_08_16-AM-11_30_07
Last ObjectModification: 2011_06_16-PM-05_14_27

Home Index