---

last(P) ==
  Y 
  (es-local-pred,e.
    if first(e) then inr (x.) 
    if P pred(e) then inl pred(e) 
    else es-local-pred pred(e)
    fi )

---

Definitions :  ycomb: Y,  es-first: first(e),  inr: inr x ,  lambda: x.A[x],  it: ,  ifthenelse: if b then t else f fi ,  inl: inl x ,  apply: f a,  es-pred: pred(e)
FDL editor aliases :  es-local-pred

---

last(P)  ==
    Y 
    (\mlambda{}es-local-pred,e.
        if  first(e)  then  inr  (\mlambda{}x.\mcdot{}) 
        if  P  pred(e)  then  inl  pred(e) 
        else  es-local-pred  pred(e)
        fi  )


Date html generated: 2010_08_27-PM-02_26_49
Last ObjectModification: 2010_01_27-PM-01_50_40

Home Index