---

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

---

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


Date html generated: 2011_08_16-AM-11_32_30
Last ObjectModification: 2011_01_20-PM-03_05_14

Home Index