Wesley Phoa

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

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

	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

Coauthor Index

1 Michael P. Fourman [5]

2 Amitavo Islam [8]

Colors in the list of coauthors