dblp.uni-trier.dewww.uni-trier.de

Wesley Phoa

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - 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

Coauthor Index

1Michael P. Fourman [5]
2Amitavo Islam [8]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)