![]() | ![]() |
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] |