---

Empty ==  eo,x.{}

---

Definitions occuring in Statement :  lambda: x.A[x],  empty-bag: {}
Definitions :  lambda: x.A[x],  empty-bag: {}
FDL editor aliases :  es-empty-interface

---

Empty  ==    \mlambda{}eo,x.\{\}


Date html generated: 2011_08_16-AM-11_32_42
Last ObjectModification: 2011_01_14-PM-03_00_56

Home Index