---

eclass-compose3(f;X;Y;Z) ==  eo,e.(f (X eo e) (Y eo e) (Z 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-compose3

---

eclass-compose3(f;X;Y;Z)  ==    \mlambda{}eo,e.(f  (X  eo  e)  (Y  eo  e)  (Z  eo  e))


Date html generated: 2011_08_16-AM-11_32_18
Last ObjectModification: 2011_01_20-PM-01_49_44

Home Index