---

(P) ==
  Y 
  (es-local-le-pred,es,e.
    if P es e then {e}
    if first(e) then {}
    else es-local-le-pred es pred(e)
    fi )

---

Definitions occuring in Statement :  es-pred: pred(e),  es-first: first(e),  ifthenelse: if b then t else f fi ,  ycomb: Y,  apply: f a,  lambda: x.A[x],  single-bag: {x},  empty-bag: {}
Definitions :  ycomb: Y,  lambda: x.A[x],  single-bag: {x},  ifthenelse: if b then t else f fi ,  es-first: first(e),  empty-bag: {},  apply: f a,  es-pred: pred(e)
FDL editor aliases :  es-local-le-pred

---

\mleq{}(P)  ==
    Y 
    (\mlambda{}es-local-le-pred,es,e.
        if  P  es  e  then  \{e\}
        if  first(e)  then  \{\}
        else  es-local-le-pred  es  pred(e)
        fi  )


Date html generated: 2011_08_16-PM-04_43_17
Last ObjectModification: 2011_01_15-PM-03_52_35

Home Index