---

f(Y;(Z)';self') ==
  Y 
  (es-rec-combined-interface,es,e.
    (f (i.(Y i es e)) (i.((Z i)' es e)) ((es-rec-combined-interface)' es e)))

---

Definitions :  ycomb: Y,  lambda: x.A[x],  apply: f a,  es-prior-val: (X)'
FDL editor aliases :  es-rec-combined-interface

---

f(Y;(Z)';self')  ==
    Y 
    (\mlambda{}es-rec-combined-interface,es,e.
        (f  (\mlambda{}i.(Y  i  es  e))  (\mlambda{}i.((Z  i)'  es  e))  ((es-rec-combined-interface)'  es  e)))


Date html generated: 2010_08_27-PM-02_39_34
Last ObjectModification: 2010_03_24-AM-01_02_25

Home Index