---

f|X,(self)'| ==
  Y 
  (rec-combined-class,es,e.
    (f (i.(X i es e)) (Prior(rec-combined-class) es e)))

---

Definitions occuring in Statement :  primed-class: Prior(X),  ycomb: Y,  apply: f a,  lambda: x.A[x]
Definitions :  ycomb: Y,  lambda: x.A[x],  apply: f a,  primed-class: Prior(X)
FDL editor aliases :  rec-combined-class

---

f|X,(self)'|  ==    Y  (\mlambda{}rec-combined-class,es,e.(f  (\mlambda{}i.(X  i  es  e))  (Prior(rec-combined-class)  es  e)))


Date html generated: 2011_08_16-PM-04_51_05
Last ObjectModification: 2011_01_19-PM-03_30_56

Home Index