eclass-compose2(f;X;Y) == 
eo,e.(f (X eo e) (Y 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-compose2
eclass-compose2(f;X;Y) == \mlambda{}eo,e.(f (X eo e) (Y eo e))
Date html generated:
2011_08_16-AM-11_32_06
Last ObjectModification:
2011_01_14-PM-04_53_07
Home
Index