Effective Domains and Intrinsic Structure - Wesley Phoa (LICS, 1990)

Two Results on Set-Theoretic Polymorphism. - Wesley Phoa (Category Theory and Computer Science, 1991)

A Proposed Categorial Semantics for Pure ML. - Wesley Phoa; Michael P. Fourman (ICALP, 1992)

Building Domains from Graph Models. - Wesley Phoa (Math. Struct. Comput. Sci., 1992)

Adequacy for untyped translations of typed lambda-calculi - Wesley Phoa (LICS, 1993)

Categorical Models of Relational Databases I: Fibrational Formulation, Schema Integration. - Amitavo Islam; Wesley Phoa (TACS, 1994)

From Term Models to Domains - Wesley Phoa (Inf. Comput., 1994)