Ying Ming Liu

• Domains and processes
• Domain Theory, Logic and Computation
• Fuzzy Topology