---

f o X ==  eo,e.(f (X eo e))

---

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

---

f  o  X  ==    \mlambda{}eo,e.(f  (X  eo  e))


Date html generated: 2011_08_16-AM-11_31_55
Last ObjectModification: 2011_01_14-PM-04_50_17

Home Index