---

(I|p) ==  eo,e.case p eo e of inl(x) => I eo e | inr(x) => {}

---

Definitions occuring in Statement :  apply: f a,  lambda: x.A[x],  decide: case b of inl(x) => s[x] | inr(y) => t[y],  empty-bag: {}
Definitions :  lambda: x.A[x],  decide: case b of inl(x) => s[x] | inr(y) => t[y],  apply: f a,  empty-bag: {}
FDL editor aliases :  es-interface-restrict

---

(I|p)  ==    \mlambda{}eo,e.case  p  eo  e  of  inl(x)  =>  I  eo  e  |  inr(x)  =>  \{\}


Date html generated: 2011_08_16-PM-04_25_18
Last ObjectModification: 2011_01_15-PM-08_46_45

Home Index