![]() |
| 1994 | ||
|---|---|---|
| 8 | Amitavo Islam, Wesley Phoa: Categorical Models of Relational Databases I: Fibrational Formulation, Schema Integration. TACS 1994: 618-641 | |
| 7 | Wesley Phoa: From Term Models to Domains Inf. Comput. 109(1/2): 211-255 (1994) | |
| 1993 | ||
| 6 | Wesley Phoa: Adequacy for untyped translations of typed lambda-calculi LICS 1993: 287-295 | |
| 1992 | ||
| 5 | Wesley Phoa, Michael P. Fourman: A Proposed Categorial Semantics for Pure ML. ICALP 1992: 533-544 | |
| 4 | Wesley Phoa: Building Domains from Graph Models. Mathematical Structures in Computer Science 2(3): 277-299 (1992) | |
| 1991 | ||
| 3 | Wesley Phoa: Two Results on Set-Theoretic Polymorphism. Category Theory and Computer Science 1991: 219-235 | |
| 2 | Wesley Phoa: From Term Models to Domains. TACS 1991: 88-111 | |
| 1990 | ||
| 1 | Wesley Phoa: Effective Domains and Intrinsic Structure LICS 1990: 366-377 | |
| 1 | Michael P. Fourman | [5] |
| 2 | Amitavo Islam | [8] |